Skip to main content
SpringerLink
Log in

Chang’s Conjecture and weak square

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

Abstract

We investigate how weak square principles are denied by Chang’s Conjecture and its generalizations. Among other things we prove that Chang’s Conjecture does not imply the failure of \({\square_{\omega_1, 2}}\), i.e. Chang’s Conjecture is consistent with \({\square_{\omega_1, 2}}\).

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Donder, H.-D., Jensen, R.B., Koppelberg, B.J.: Some application of the core model, set theory and model theory (Bonn, 1979). In: Lecture Notes in Mathematics, vol. 872, pp. 55–97. Springer, Berlin (1981)

  2. Foreman M.: Large cardinals and strong model theoretic transfer properties Trans. Am. Math. Soc. 272(2), 427–463 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  3. Foreman, M.: Stationary sets, Chang’s Conjecture and partition Theory, set theory (Piscataway, NJ, 1999). DIMACS: Series in Discrete Mathematical Theoretical Compututer Sciience, vol. 58, pp. 73–94. American Mathematical Society, Providence (2002)

  4. Foreman M., Magidor M., Shelah S.: Martin’s maximum, saturated ideals and nonregular ultrafilters I. Ann. Math. 127(1), 1–47 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  5. Jensen R.B.: Fine structure of the constructible hierarchy, with a section by Jack Silver. Ann. Math. Logic 4, 229–308 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  6. Magidor M.: Reflecting stationary sets. J. Symb. Logic 47(4), 755–771 (1982)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  8. Shelah S.: Proper and Improper Forcing Perspectives in Mathematical Logic. vol. 29. Springer, Berlin (1998)

    Google Scholar 

  9. Todorčević, S.: A note on the proper forcing axiom. Axiomatic set theory (Boulder, Colo., 1983). Contemporary Mathematics, vol. 31, pp. 209–218. American Mathematical Society, Providence (1984)

  10. Todorčević, S.: Conjectures of Rado and Chang and cardinal arithmetic, Finite and infinite combinatorics in sets and logic (Banff, AB, 1991). NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 411, pp. 385–398. Kluwer Academic Publishers, Dordrecht (1993)

  11. Todorčević S.: Walks on Ordinals and Their Characteristics Progress in Mathematics. vol. 263. Birkhäuser Verlag, Basel (2007)

    Google Scholar 

  12. Todorčević S., Torres Pérez V.: Conjectures of rado and chang and special Aronszajn trees. Math. Log. Q. 58(4–5), 342–347 (2012)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of System Informatics, Kobe University, Kobe, Japan

    Hiroshi Sakai

Authors
  1. Hiroshi Sakai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hiroshi Sakai.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sakai, H. Chang’s Conjecture and weak square. Arch. Math. Logic 52, 29–45 (2013). https://doi.org/10.1007/s00153-012-0305-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-012-0305-8

Keywords

Mathematics Subject Classification (2000)

Search

Navigation