Skip to main content
SpringerLink
Log in

Forcing axioms and the continuum hypothesis. Part II: transcending ω 1-sequences of real numbers

  • Published:
Acta Mathematica

Abstract

The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the continuum hypothesis. This answers a longstanding problem of Shelah.

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. Asperό, D., Larson, P. & Moore, J.T., Forcing axioms and the continuum hypothesis. Acta Math., 210 (2013), 1–29.

    Article  Google Scholar 

  2. Devlin, K. J. & Shelah, S., A weak version of ◊ which follows from \( {2^{{{\aleph_0}}}}<{2^{{{\aleph_1}}}} \). Israel J. Math., 29 (1978), 239–247.

    Article  MathSciNet  MATH  Google Scholar 

  3. Eisworth, T., Milovich, D. & Moore, J. T., Iterated forcing and the continuum hypothesis, in Appalachian Set Theory 2006–2012, London Math. Society Lecture Notes Series, 406, pp. 207–244. Cambridge Univ. Press, Cambridge, 2013.

  4. Eisworth, T. & Nyikos, P., First countable, countably compact spaces and the continuum hypothesis. Trans. Amer. Math. Soc., 357 (2005), 4269–4299.

    Article  MathSciNet  MATH  Google Scholar 

  5. Kunen, K., Set Theory. Studies in Logic and the Foundations of Mathematics, 102. North-Holland, Amsterdam, 1983.

  6. Larson, P., The Stationary Tower. University Lecture Series, 32. Amer. Math. Soc., Providence, RI, 2004.

  7. Moore, J.T., ω 1 and −ω 1 may be the only minimal uncountable linear orders. Michigan Math. J., 55 (2007), 437–457.

    Article  MathSciNet  MATH  Google Scholar 

  8. Shelah, S., Proper and Improper Forcing. Perspectives in Mathematical Logic. Springer, Berlin–Heidelberg, 1998.

  9. — On what I do not understand (and have something to say). I. Fund. Math., 166 (2000), 1–82.

    MathSciNet  MATH  Google Scholar 

  10. Todorčević, S., Walks on Ordinals and their Characteristics. Progress in Mathematics, 263. Birkhäuser, Basel, 2007.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Cornell University, Ithaca, NY, 14853-4201, USA

    Justin Tatch Moore

Authors
  1. Justin Tatch Moore
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Justin Tatch Moore.

Additional information

Dedicated to Fennel, Laurel and Stephanie.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Moore, J.T. Forcing axioms and the continuum hypothesis. Part II: transcending ω 1-sequences of real numbers. Acta Math 210, 173–183 (2013). https://doi.org/10.1007/s11511-013-0092-z

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11511-013-0092-z

Keywords

2000 Math. Subj. Classification

Search

Navigation