抽象初等类在两个相继基数上的范畴性
逻辑
2016-09-07 v1
摘要
我们研究不带任何紧致性残余(如良序的不可定义性、E.M.模型的存在性或大基数的存在性)的抽象初等类的范畴性。我们证明(假设在lambda附近的一个弱版本GCH):若K在lambda、lambda^+范畴,LS(K) <= lambda且1 <= I(lambda^{++},K)< 2^{lambda^{++}},则K在lambda^{+++}有一个模型。
引用
@article{arxiv.math/9805146,
title = {Categoricity of an abstract elementary class in two successive cardinals},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/9805146},
year = {2016}
}