由 $\omega_1$-Erdős 基数得到的带 $\square_{\omega_1, 2}$ 的 Chang 猜想
逻辑
2019-09-25 v4
摘要
作为对 Sakai 一个问题的回答，我们证明一个 -Erdős 基数的存在足以得到带 的 Chang 猜想的一致性。由 Donder 的一个结果可知这是最佳可能的。我们还给出了对 Sakai 另一个问题的回答，该问题涉及不可数 下 与 的不相容性。
引用
@article{arxiv.1810.03511,
title = {Chang's Conjecture with $\square_{\omega_1, 2}$ from an $\omega_1$-Erd\H{o}s Cardinal},
author = {Itay Neeman and John Susice},
journal= {arXiv preprint arXiv:1810.03511},
year = {2019}
}