几乎线性迭代的核心模型
The core model for almost linear iterations
摘要：
我们引入0^h（0^handgrenade）作为一个具有适当强基数类的内模型的锐化。如果0^h不存在，那么任何正常的迭代树都是“几乎线性的”。“我们利用这一事实证明了“ZFC + 0^h不存在”理论中核心模型K的存在性。“（到目前为止，非0 ^h因此是最弱的反大基数假设，在此假设下，K可以被证明存在于ZFC中。在这个意义上，我们改进了多德、詹森、米切尔和斯蒂尔（部分）的早期工作。）我们表明，我们的文件提供了最后一步，确定确切的一致性强度的声明中的Delfino问题列表。
英文摘要：
We introduce 0^h (0^handgrenade) as a sharp for an inner model with a proper class of strong cardinals. If 0^h does not exist then any normal iteration tree is "almost linear." We exploit this fact to prove the existence of the core model K in the theory "ZFC + 0^h does not exist." (As of today, non-0^h is thereby the weakest anti large cardinal assumption under which K can be shown to exist in ZFC. In this sense we improve earlier work of Dodd, Jensen, Mitchell, and - partially - Steel.) We indicate that our paper provides the last step for determining the exact consistency strength of a statement in the Delfino problem list.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
