Abstract
Answering a question of Sakai (Arch Math Logic 52(1–2):29–45, 2013), we show that the existence of an \(\omega _1\)-Erdős cardinal suffices to obtain the consistency of Chang’s Conjecture with \(\square _{\omega _1, 2}\). 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 of \(\square _{\lambda , 2}\) and \((\lambda ^+, \lambda ) \twoheadrightarrow (\kappa ^+, \kappa )\) for uncountable \(\kappa \).
Similar content being viewed by others
References
Chang, C.C.: A note on the two cardinal problem. Proc. Am. Math. Soc. 16, 1148–1155 (1965)
Cummings, J., Schimmerling, E.: Indexed squares. Isr. J. Math. 131, 61–99 (2002)
Donder, D., Jensen, R.B., Koppelberg, B.J.: Some applications of the core model. In: Set Theory and Model Theory (Bonn, 1979), Volume 872 of Lecture Notes in Math., pp. 55–97. Springer, Berlin (1981)
Donder, H.-D., Levinski, J.-P.: Some principles related to Chang’s conjecture. Ann. Pure Appl. Logic 45(1), 39–101 (1989)
Kanamori, A.: The Higher Infinite. Springer Monographs in Mathematics, 2nd ed. Springer, Berlin (2009). Large cardinals in set theory from their beginnings, Paperback reprint of the 2003 edition
Kanamori, A., Magidor, M.: The evolution of large cardinal axioms in set theory. In: Higher Set Theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977), Volume 669 of Lecture Notes in Math., pp. 99–275. Springer, Berlin (1978)
Sakai, H.: Chang’s conjecture and weak square. Arch. Math. Logic 52(1–2), 29–45 (2013)
Schimmerling, E.: Combinatorial principles in the core model for one Woodin cardinal. Ann. Pure Appl. Logic 74(2), 153–201 (1995)
Todorcevic, S.: Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263. Birkhäuser Verlag, Basel (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This material is based upon work supported by the National Science Foundation under Grants No. DMS-1363364 and DMS-1764029.
Rights and permissions
About this article
Cite this article
Neeman, I., Susice, J. Chang’s Conjecture with \(\square _{\omega _1, 2}\) from an \(\omega _1\)-Erdős cardinal. Arch. Math. Logic 59, 893–904 (2020). https://doi.org/10.1007/s00153-020-00723-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-020-00723-w