摘要:不完备模型完备理论和具有独立性的不稳定模型完备理论没有模型伴随理论。具有混合性质的不完备模型完备理论也没有模型伴随理论。模型完备且具有非构造性消去性质的理论也没有模型完成。
作者:Hirotaka Kikyo
论文ID:math/9809191
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中