Nothing Special   »   [go: up one dir, main page]

Skip to main content
Log in

Chang’s Conjecture with \(\square _{\omega _1, 2}\) from an \(\omega _1\)-Erdős cardinal

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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 \).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Chang, C.C.: A note on the two cardinal problem. Proc. Am. Math. Soc. 16, 1148–1155 (1965)

    Article  MathSciNet  Google Scholar 

  2. Cummings, J., Schimmerling, E.: Indexed squares. Isr. J. Math. 131, 61–99 (2002)

    Article  MathSciNet  Google Scholar 

  3. 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)

  4. Donder, H.-D., Levinski, J.-P.: Some principles related to Chang’s conjecture. Ann. Pure Appl. Logic 45(1), 39–101 (1989)

    Article  MathSciNet  Google Scholar 

  5. 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

  6. 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)

  7. Sakai, H.: Chang’s conjecture and weak square. Arch. Math. Logic 52(1–2), 29–45 (2013)

    Article  MathSciNet  Google Scholar 

  8. Schimmerling, E.: Combinatorial principles in the core model for one Woodin cardinal. Ann. Pure Appl. Logic 74(2), 153–201 (1995)

    Article  MathSciNet  Google Scholar 

  9. Todorcevic, S.: Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263. Birkhäuser Verlag, Basel (2007)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to John Susice.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-020-00723-w

Keywords

Mathematics Subject Classification

Navigation