$K$ without the measurable

Journal of Symbolic Logic 78 (3):708-734 (2013)
  Copy   BIBTEX

Abstract

We show in ZFC that if there is no proper class inner model with a Woodin cardinal, then there is an absolutely definablecore modelthat is close toVin various ways.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 84,152

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Weakly measurable cardinals.Jason A. Schanker - 2011 - Mathematical Logic Quarterly 57 (3):266-280.
Computability of measurable sets via effective metrics.Yongcheng Wu & Decheng Ding - 2005 - Mathematical Logic Quarterly 51 (6):543-559.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
Forcing the Least Measurable to Violate GCH.Arthur W. Apter - 1999 - Mathematical Logic Quarterly 45 (4):551-560.
Hamel-isomorphic images of the unit ball.Jacek Cichoń & Przemysław Szczepaniak - 2010 - Mathematical Logic Quarterly 56 (6):625-630.
Universally measurable subgroups of countable index.Christian Rosendal - 2010 - Journal of Symbolic Logic 75 (3):1081-1086.
On measurable limits of compact cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
A model with a measurable which does not carry a normal measure.Eilon Bilinsky & Moti Gitik - 2012 - Archive for Mathematical Logic 51 (7-8):863-876.
Measurable chromatic numbers.Benjamin D. Miller - 2008 - Journal of Symbolic Logic 73 (4):1139-1157.
Computability of measurable sets via effective topologies.Yongcheng Wu & Decheng Ding - 2006 - Archive for Mathematical Logic 45 (3):365-379.

Analytics

Added to PP
2016-06-30

Downloads
6 (#1,152,947)

6 months
1 (#511,323)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Steel
University of Edinburgh

References found in this work

The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.

View all 10 references / Add more references