集合论模型的末端初等扩张链
逻辑
2016-09-06 v1
摘要
本文研究由集合论模型上存在任意长的末端初等扩张链所产生的大基数。特别地，我们证明以此方式得到的大基数（“可展开基数”）表现为与“V=L”相容的性质和可辨不可区分元存在性之间的一个“边界”。我们还给出了可展开基数的“嵌入刻画”，并研究了它们在不同力迫下的保持与破坏。
引用
@article{arxiv.math/9611209,
title = {Chains of End Elementary Extensions of Models of Set Theory},
author = {Andres Villaveces},
journal= {arXiv preprint arXiv:math/9611209},
year = {2016}
}
备注
Figure 2 available from author upon request