没有最大模型的抽象初等类中的范畴性

摘要:在Shelah和Villaveces确定的抽象初等类的背景下,本文的结果是在不假设合并性质的情况下得到的。长期目标是在这个背景下解决Shelah的Categoricity Conjecture。在这里,我们通过证明在他们的背景下,在假设合并基类的子类对有界递增链的并集是闭合的情况下,极限模型的唯一性可以从分类性得到。

作者:Monica VanDieren (University of Michigan)

论文ID:math/0510579

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

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