摘要:T\_{aut}的模型完备是稳定的的区分研究及其特征化 一些模型完备是稳定的的区分研究及其特征化 稳定的T有模型完备T\_{aut} T\_{aut}的模型完备T\_* 是T^{mc}\_{aut}的不稳定完全的 T\_*满足NSOP\_3 此外,简洁性得以保留.
作者:Saharon Shelah
论文ID:math/0404180
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中