更新时间:-- | 阅读量: 97
构造可数模型的一个重要定理.对于L上的完全理论T,设Σ=Σ(x1,x2,…,xn)为L中的公式集合...还有广义省略型定理：设T是可数语言L中的协调理论，Σr（x1，x2，…，xnr）是L上的公式集合（r=1，2，3，…）.如果T局部省略 ...
搜索到与“ 广义省略”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
