力迫 $Z_3$ + Harrington 原理的集合模型
逻辑
2025-10-02 v2
摘要
令 表示三阶算术。令 Harrington 原理 HP 表示存在一个实数 ，使得每个 -可容许序数在 中都是基数。在本文中，假设存在一个卓越基数且其上方有一个弱不可达基数，我们通过不重塑的集合力迫力迫出 的集合模型。
引用
@article{arxiv.1402.4659,
title = {Force a set model of $Z_3$ + Harrington's Principle},
author = {Yong Cheng},
journal= {arXiv preprint arXiv:1402.4659},
year = {2025}
}
备注
17 pages, revised and accepted version