Skip to main content
Log in

Making all cardinals almost Ramsey

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

Abstract

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + \({\neg {\rm AC}_\omega}\) in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”.

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

Access this article

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. Apter A.: A cardinal pattern inspired by AD. Math. Logic Q. 42, 211–218 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  2. Apter A.: On the class of measurable cardinals without the Axiom of Choice. Israel J. Math. 79, 367–379 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  3. Apter A.: Some new upper bounds in consistency strength for certain choiceless large cardinal patterns. Arch. Math. Logic 31, 201–205 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  4. Apter A.: Some results on consecutive large cardinals. Ann. Pure Appl. Logic 25, 1–17 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  5. Apter A.: Some results on consecutive large cardinals II: Applications of Radin forcing. Israel J. Math. 52, 273–292 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  6. Apter A., Koepke P.: The consistency strength of \({\aleph_\omega}\) and \({\aleph_{\omega_1}}\) being Rowbottom cardinals without the Axiom of Choice. Arch. Math. Logic 45, 721–737 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  7. Busche, D., Schindler, R.: The strength of choiceless patterns of singular and weakly compact cardinals. Ann. Pure Appl. Logic (submitted)

  8. Cummings, J., Woodin, W.H.: Generalised Prikry Forcings (forthcoming)

  9. Dodd A.J.: The Core Model, London Mathematical Society Lecture Note Series #61. Cambridge University Press, Cambridge (1982)

    Google Scholar 

  10. Dodd A.J., Jensen R.B.: The core model. Ann. Math. Logic 20, 43–75 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  11. Foreman M., Woodin W.H.: The GCH can fail everywhere. Ann. Math. 133, 1–36 (1991)

    Article  MathSciNet  Google Scholar 

  12. Gitik M.: All uncountable cardinals can be singular. Israel J. Math. 35, 61–88 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  13. Gitik, M.: Prikry-type forcings. In: The Handbook of Set Theory (forthcoming)

  14. Gitik M.: Regular cardinals in models of ZF. Trans. Am. Math. Soc. 290, 41–68 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  15. Jech T.: Set Theory: The Third Millennium Edition, Revised and Expanded. Springer, Berlin (2003)

    MATH  Google Scholar 

  16. Kanamori A.: The Higher Infinite. Springer, Berlin (2nd edn. 2003) (1994)

    MATH  Google Scholar 

  17. Radin L.: Adding closed cofinal sequences to large cardinals. Ann. Math. Logic 23, 263–283 (1982)

    MathSciNet  Google Scholar 

  18. Schindler R.: The core model for almost linear iterations. Ann. Pure Appl. Logic 116, 205–272 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  19. Schindler R.: Successive weakly compact or singular cardinals. J. Symbol. Logic 64, 139–146 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  20. Vickers J., Welch P.D.: On elementary embeddings from an inner model to the universe. J. Symbol. Logic 66, 1090–1116 (2001)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Arthur W. Apter.

Additional information

We wish to thank Ralf Schindler for his insightful comments concerning Lemma 4 and Theorem 2.

A. W. Apter’s research was partially supported by PSC-CUNY grants and CUNY Collaborative Incentive grants. In addition, he wishes to thank the members of the mathematical logic group in Bonn for all of the hospitality shown him during his spring 2007 sabbatical visit to the Mathematisches Institut.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Apter, A.W., Koepke, P. Making all cardinals almost Ramsey. Arch. Math. Logic 47, 769–783 (2008). https://doi.org/10.1007/s00153-008-0107-1

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-008-0107-1

Keywords

Mathematics Subject Classification (2000)

Navigation