Skip to main content
SpringerLink
Log in

Consistency strength of higher chang’s conjecture, without CH

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

Abstract

We prove that \({(\omega_3, \omega_2) \twoheadrightarrow (\omega_2, \omega_1)}\) implies there is an inner model with a weak repeat measure.

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. Cox S.: Covering theorems for the core model, and an application to stationary set reflection. Ann. Pure Appl. Logic. 161(1), 66–93 (2009). doi:10.1016/j.apal.2009.06.001

    Article  MathSciNet  MATH  Google Scholar 

  2. Claverie, B., Schindler, R.-D.: Woodin’s axiom (*), bounded forcing axioms, and precipitous ideals on ω1 (submitted)

  3. Donder H.-D., Koepke P.: On the consistency strength of “accessible” Jónsson cardinals and of the weak Chang conjecture. Ann. Pure Appl. Logic. 25(3), 233–261 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  4. Foreman M.: Ideals and Generic Elementary Embeddings, Handbook of Set Theory. Springer, Berlin (2010)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  6. Foreman, M.: Stationary sets, Chang’s conjecture and partition theory, Set theory (Piscataway, NJ, 1999), DIMACS Series on Discrete Mathematical and Theoretical Computer Science, vol. 58, American Mathematical Society, Providence, RI, pp. 73–94 (2002)

  7. Foreman M., Magidor M.: Large cardinals and definable counterexamples to the continuum hypothesis. Ann. Pure Appl. Logic. 76(1), 47–97 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  8. Gitik M.: Some results on the nonstationary ideal. Israel J. Math. 92(1–3), 61–112 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  9. Mitchell W.: How Weak is a Closed Unbounded Ultrafilter? Logic Colloquium ’80 (Prague, 1980), Studies on Logic Foundations Mathematics, vol. 108, pp. 209–230. North-Holland, Amsterdam (1982)

    Google Scholar 

  10. Radin L.B.: Adding closed cofinal sequences to large cardinals. Ann. Math. Logic. 22(3), 243–261 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  11. Schindler R.-D.: On a Chang conjecture. Israel J. Math. 99, 221–230 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  12. Schindler R.-D.: On a Chang conjecture, II. Arch. Math. Logic. 37(4), 215–220 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  13. Vickers, J.: Ph.D. dissertation, University of Bristol (1994)

  14. Vickers J., Welch P.D.: On successors of Jónsson cardinals. Arch. Math. Logic. 39(6), 465–473 (2000). doi:10.1007/s001530050159

    Article  MathSciNet  MATH  Google Scholar 

  15. Zeman M.: Inner Models and Large Cardinals, de Gruyter Series in Logic and its Applications, vol. 5. Walter de Gruyter, Berlin (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstrasse 62, 48149, Münster, Germany

    Sean D. Cox

Authors
  1. Sean D. Cox
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sean D. Cox.

Additional information

This paper extends my PhD thesis ([1]) and was partially supported by NSF grant DMS-0500799 (through Martin Zeman), and fellowships from the UCI mathematics department. Many thanks to Martin Zeman and Matt Foreman for helpful discussions on the topic.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cox, S.D. Consistency strength of higher chang’s conjecture, without CH. Arch. Math. Logic 50, 759–775 (2011). https://doi.org/10.1007/s00153-011-0247-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-011-0247-6

Keywords

Mathematics Subject Classification (2000)

Search

Navigation