Skip to main content
Log in

Strong partition cardinals and determinacy in \({K(\mathbb{R})}\)

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

Abstract

We prove within \({K(\mathbb{R})}\) that the axiom of determinacy is equivalent to the assertion that for each ordinal \({\lambda < \Theta}\) there exists a strong partition cardinal \({\kappa > \lambda}\). Here \({\Theta}\) is the supremum of the ordinals which are the surjective image of the set of reals \({\mathbb{R}}\).

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. Cunningham D.W.: The real core model and its scales. Ann. Pure Appl. Logic 72(3), 213–289 (1995). doi:10.1016/0168-0072(94)00023-V

    Article  MATH  MathSciNet  Google Scholar 

  2. Cunningham D.W.: The fine structure of real mice. J. Symb. Logic 63(3), 937–994 (1998). doi:10.2307/2586721

    Article  MATH  MathSciNet  Google Scholar 

  3. Cunningham, D.W.: Scales and the fine structure of \({K(\mathbb{R})}\). Part I: acceptability above the reals. Mathematics ArXiv, pp. 1–40 (2006). http://front.math.ucdavis.edu/math.LO/0605445

  4. Cunningham, D.W.: Scales and the fine structure of \({K(\mathbb{R})}\). Part II: Weak real mice and scales. Mathematics ArXiv, pp. 1–27 (2006). http://front.math.ucdavis.edu/math.LO/0605448

  5. Cunningham D.W.: A covering lemma for \({K(\mathbb{R})}\). Arch. Math. Logic 46(3-4), 197–221 (2007). doi:10.1007/s00153-007-0040-8

    Article  MATH  MathSciNet  Google Scholar 

  6. Cunningham D.W.: Scales of minimal complexity in \({K(\mathbb{R})}\). Arch. Math. Logic 51(3-4), 319–351 (2012). doi:10.1007/s00153-012-0267-x

    Article  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

  8. Dodd A.J., Jensen R.B.: The core model. Ann. Math. Logic 20(1), 43–75 (1981). doi:10.1016/0003-4843(81)90011-5

    Article  MATH  MathSciNet  Google Scholar 

  9. Kanamori A.: The Higher Infinite. Perspectives in Mathematical Logic. Springer, Berlin (1994)

    Google Scholar 

  10. Kechris, A.S., Kleinberg, E.M., Moschovakis, Y.N., Woodin, W.H.: The axiom of determinacy, strong partition properties and nonsingular measures. In: Games, Scales, and Suslin Cardinals. The Cabal Seminar, vol. I, Lect. Notes Log., vol. 31, pp. 333–354. Assoc. Symbol. Logic, Chicago, IL (2008). doi:10.1017/CBO9780511546488.017

  11. Kechris, A.S., Woodin, W.H.: The equivalence of partition properties and determinacy. In: Games, Scales, and Suslin Cardinals. The Cabal Seminar. vol. I, Lect. Notes Log., vol. 31, pp. 355–378. Assoc. Symbol. Logic, Chicago, IL (2008). doi:10.1017/CBO9780511546488.018

  12. Martin, D.A.: The largest countable this, that, and the other. In: Games, Scales, and Suslin Cardinals. The Cabal Seminar, vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985, pp. 121–129. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2008). doi:10.1017/CBO9780511546488.009

  13. Moschovakis Y.N.: Descriptive Set Theory, Mathematical Surveys and Monographs, vol. 155. 2nd edn. American Mathematical Society, Providence (2009)

    Google Scholar 

  14. Steel, J.R.: Scales in \({{\bf K}(\mathbb{R})}\). In: Games, Scales, and Suslin Cardinals. The Cabal Seminar. vol. I, Lect. Notes Log., vol. 31, pp. 176–208. Assoc. Symbol. Logic, Chicago, IL (2008). doi:10.1017/CBO9780511546488.011

  15. Steel J.R.: Scales in \({{\bf K}(\mathbb{R})}\) at the end of a weak gap. J. Symb. Logic 73(2), 369–390 (2008). doi:10.2178/jsl/1208359049

    Article  MATH  MathSciNet  Google Scholar 

  16. Steel, J.R.: Scales in \({L(\mathbb{R})}\). In: Games, Scales, and Suslin Cardinals. The Cabal Seminar. vol. I, Lecture Notes in Math., vol. 31, pp. 130–170. Association for Symbolic Logic, Chicago, IL (2008). doi:10.1017/CBO9780511546488

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Daniel W. Cunningham.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cunningham, D.W. Strong partition cardinals and determinacy in \({K(\mathbb{R})}\) . Arch. Math. Logic 54, 173–192 (2015). https://doi.org/10.1007/s00153-014-0407-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-014-0407-6

Keywords

Mathematics Subject Classification

Navigation