抽象初等类的范畴性与可解性，相当高阶
逻辑
2008-08-25 v1
摘要
我们在ZFC中研究，对于一个抽象初等类K，足够大的基数μ的族可以是什么，使得K是范畴的，甚至仅仅是可解的。我们证明，对于不少基数λ<μ，在K_λ中存在一个超极限模型。此外，我们的主要结果是，我们可以找到一个在λ处范畴的好λ-框架s，使得K_s ⊆ K_λ。然后，我们展示如何利用[Sh:705]来得到，如果K对于足够多的μ具有μ-融合的情况，并且对于足够多的μ有2^μ < 2^{μ^{+1}} < ... < 2^{μ^{+n}} ...，那么K在每一个足够大的基数处都是范畴的。
引用
@article{arxiv.0808.3023,
title = {Categoricity and solvability of A.E.C., quite highly},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:0808.3023},
year = {2008}
}