关于良好的λ框架和抽象初等类的分类理论
摘要：λ-良好框架与超稳定理论的模型类是平行的。我们的主要目标是从λ良好^+框架开始，对λ具有范畴性质，并对足够大的n成功进行并尝试建立K\_{s(+l)}的稳定性理论的平行。特征性的是，我们需要相对于l增加n以获得我们需要的属性。我们对确切的n并不是特别关注，所以可以考虑omega-成功的s。事后，我们对K\_s类的模型论很感兴趣，并且把这个理论作为检验，即在omega-成功的情况下，我们也能理解更高基数的模型，例如证明对于每个mu>=lambda，K^s\_mu都不为空。请记住，存在合理的lambda-框架，其不是n-优越的，但我们仍然可以对l 作者：Saharon Shelah 论文ID：math/0404272 分类：Logic 分类简称：math.LO 提交时间：2007-05-23