Chang’s Conjecture with $$\square _{\omega _1, 2}$$ from an $$\omega _1$$-Erdős cardinal
Chang’s Conjecture with $$\square _{\omega _1, 2}$$ from an $$\omega _1$$-Erdős cardinal
复制标题
张猜想 $$square _{omega _1, 2}$$ 来自 $$omega _1$$-ErdÅs 基数
DOI：
10.1007/s00153-020-00723-w
复制
发表时间：
2020
影响因子：
0.3
通讯作者：
Susice, John
中科院分区：
文献类型：
--
作者：
Neeman, Itay;Susice, John
在回答Sakai （Arch Math Logic 52(1-2): 29-45, 2013）的一个问题时，我们证明an-Erdős基数的存在性足以获得Chang’s猜想的一致性。根据Donder （In: Set theory and model theory (Bonn, 1979)，《数学课堂讲稿》第872卷）的结果。施普林格，柏林，第55-97页，1981年)这是最好的可能。我们还回答了酒井关于不可数的和不相容的另一个问题。
Answering a question of Sakai (Arch Math Logic 52(1–2):29–45, 2013), we show that the existence of an-Erdős cardinal suffices to obtain the consistency of Chang’s Conjecture with. By a result of Donder (In: Set theory and model theory (Bonn, 1979), volume 872 of lecture notes in mathematics. Springer, Berlin, pp 55–97, 1981) this is best possible. We also give an answer to another question of Sakai relating to the incompatibility ofandfor uncountable.