具有自同构的理论的模型伴侣

摘要:不完备模型完备理论和具有独立性的不稳定模型完备理论没有模型伴随理论。具有混合性质的不完备模型完备理论也没有模型伴随理论。模型完备且具有非构造性消去性质的理论也没有模型完成。

作者:Hirotaka Kikyo

论文ID:math/9809191

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中