Hostname: page-component-848d4c4894-hfldf Total loading time: 0 Render date: 2024-05-05T13:28:37.475Z Has data issue: false hasContentIssue false
  • English
  • Français

DETERMINACY AND JÓNSSON CARDINALS IN L(ℝ)

Published online by Cambridge University Press:  12 December 2014

S. JACKSON ,
R. KETCHERSID ,
F. SCHLUTZENBERG  and
W. H. WOODIN
S. JACKSON
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF NORTH TEXAS DENTON, TX 76203, USAE-mail: jackson@unt.edu
F. SCHLUTZENBERG
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF ARIZONA TUCSON, AZ 85721, USAE-mail: farmer.schlutzenberg@gmail.com
W. H. WOODIN
Affiliation:
PROFESSOR OF MATHEMATICS AND OF PHILOSOPHY HARVARD UNIVERSITY CAMBRIDGE MA 02138, USAE-mail: woodin@math.harvard.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

Assume ZF + AD + V = L(ℝ) and let κ < Θ be an uncountable cardinal. We show that κ is Jónsson, and that if cof (κ) = ω then κ is Rowbottom. We also establish some other partition properties.

Keywords

03E0203E4503E5503E60J´onsson cardinaldeterminacypartition propertiesinner modelHOD
Type
Articles
Information
The Journal of Symbolic Logic , Volume 79 , Issue 4 , December 2014 , pp. 1184 - 1198
Copyright
Copyright © The Association for Symbolic Logic 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Kanamori, Akihiro, The Higher Infinite: Large Cardinals in Set Theory from their Beginnings, second ed., Springer monographs in mathematics, Springer-Verlag, Berlin–New York, 2003.Google Scholar
Kleinberg, E., Infinitary Combinatorics and the Axiom of Determinateness, vol. 612, Springer, Berlin–Heidelberg, 1977.CrossRefGoogle Scholar
Mitchell, William and Steel, John R., Fine Structure and Iteration Trees, Lectures Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.CrossRefGoogle Scholar
Prikry, K., Changing measurable into accessible cardinals. Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 68 (1970), pp. 5–52.Google Scholar
Schlutzenberg, Farmer, Measures in mice, Ph.D. Thesis, University of California, Berkeley, 2007 arXiv:1301.4702.Google Scholar
Schlutzenberg, Farmer, HODL(ℝ)is a core model below. The Bulletin of Symbolic Logic, vol. 1 (1995), no. 1, pp. 75–84.Google Scholar
Schlutzenberg, Farmer, An outline of inner model theory, Handbook of Set Theory (Matthew Foreman and Akihiro Kanamori, editors), vol. 3, Springer, Dordrecht, first ed., 2010.Google Scholar
Steel, J. R., Woodin’s analysis of HODL(ℝ), unpublished notes available atwww.math.berkeley. edu/∼steel.Google Scholar
Steel, J. R. and Woodin, W. H., HOD as a core model, Ordinal Definability and Recursion Theory, Volume III, The Cabal Seminar, to appear.Google Scholar