Abstract
Assuming \(\text {ZF}+\text {DC}\), we prove that if there exists a strong partition cardinal greater than \(\varTheta \), then (1) there is an inner model of \(\text {ZF}+\text {AD}+\text {DC}+ {{{\mathbb {R}}} }^{{\#}}\) exists, and (2) there is an inner model of \(\text {ZF}+\text {AD}+\text {DC}+ (\exists \kappa >\varTheta )\,(\kappa \) is measurable). Here \(\varTheta \) is the supremum of the ordinals which are the surjective image of the set of reals \({{{\mathbb {R}}} }\).
Similar content being viewed by others
References
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
Cunningham, D.W.: Is there a set of reals not in \(K(\mathbb{R})\)? Ann. Pure Appl. Logic 92(2), 161–210 (1998). doi:10.1016/S0168-0072(98)00003-7
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
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
Cunningham, D.W.: Strong partition cardinals and determinacy in \(K({\mathbb{R}})\). Arch. Math. Logic 54(1–2), 173–192 (2015). doi:10.1007/s00153-014-0407-6
Dodd, A.J.: The Core Model, London Mathematical Society Lecture Note Series, vol. 61. Cambridge University Press, Cambridge (1982)
Jech, T.: Set Theory. Springer Monographs in Mathematics, The third millennium edn. Springer, Berlin (2003)
Kanamori, A.: The Higher Infinite. Perspectives in Mathematical Logic. Springer, Berlin (1994)
Kechris, A.S., Woodin, W.H.: The equivalence of partition properties and determinacy. In: Games, Scales, and Suslin cardinals. The Cabal Seminar, vol. I, Lecture Notes in Logic, vol. 31. Association for Symbolic Logic, pp. 355–378. Chicago, IL (2008). doi:10.1017/CBO9780511546488.018
Kleinberg, E.M.: Infinitary combinatorics and the axiom of determinateness. Lecture Notes in Mathematics, vol. 612. Springer, Berlin (1977)
Martin, D.A.: An extension of Borel determinacy. Ann. Pure Appl. Logic 49(3), 279–293 (1990). doi:10.1016/0168-0072(90)90029-2
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 University Press, Cambridge (2008). doi:10.1017/CBO9780511546488.009
Moschovakis, Y.N.: Descriptive Set Theory, Mathematical Surveys and Monographs, vol. 155, second edn. American Mathematical Society, Providence (2009)
Steel, J.R.: Scales in \({\mathbf{K}({\mathbb{R}}})\). In: Games, Scales, and Suslin Cardinals. The Cabal Seminar. Vol. I, Lecture Notes in Logic, vol. 31, pp. 176–208. Association for Symbolic Logic, Chicago, IL (2008). doi:10.1017/CBO9780511546488.011
Steel, J.R.: Scales in \(L({\mathbb{R}})\). In: Games, Scales, and Suslin Cardinals. The Cabal Seminar. Vol. I, Lecture Notes in Mathematics, vol. 31, pp. 130–170. Association for Symbolic Logic, Chicago, IL (2008). doi:10.1017/CBO9780511546488
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cunningham, D.W. A strong partition cardinal above \(\varTheta \) . Arch. Math. Logic 56, 403–421 (2017). https://doi.org/10.1007/s00153-017-0529-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0529-8