具有逼近与覆盖性质的扩张不产生新的大基数
逻辑
2014-11-18 v2
摘要
如果 V 的扩张 Vbar 满足关于类群的 delta 逼近与覆盖性质，且 V 是 Vbar 中的一个类，则 Vbar 中每一个临界点在 delta 之上且 suitably closed 的嵌入 j:Vbar → Nbar 都限制为对地模型 V 可接受的嵌入 j|V:V → N。因此，在此类扩张中，delta 之上没有新的大基数。该结果推广了 math.LO/9808011 中的工作。
引用
@article{arxiv.math/0307229,
title = {Extensions with the approximation and cover properties have no new large cardinals},
author = {Joel David Hamkins},
journal= {arXiv preprint arXiv:math/0307229},
year = {2014}
}
备注
25 pages. While preserving the main ideas, the new version makes a number of changes in presentation, such as a new title and reorganized order of results, and corrects an issue concerning definable classes and amenability