没有最大模型的抽象初等类中的范畴性
摘要:在Shelah和Villaveces确定的抽象初等类的背景下,本文的结果是在不假设合并性质的情况下得到的。长期目标是在这个背景下解决Shelah的Categoricity Conjecture。在这里,我们通过证明在他们的背景下,在假设合并基类的子类对有界递增链的并集是闭合的情况下,极限模型的唯一性可以从分类性得到。
作者:Monica VanDieren (University of Michigan)
论文ID:math/0510579
分类:Logic
分类简称:math.LO
提交时间:2007-05-23