Annals of Pure and Applied Logic 116 (1-3):205-272 (2002)

Abstract
We introduce 0• as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ does not exist”. Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino problem pp. 221–224))
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(01)00113-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,262
Through your library

References found in this work BETA

[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
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.
Inner Models and Large Cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
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.

View all 8 references / Add more references

Citations of this work BETA

$K$ Without the Measurable.Ronald Jensen & John Steel - 2013 - Journal of Symbolic Logic 78 (3):708-734.
Making All Cardinals Almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
Projective Well-Orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.

View all 9 citations / Add more citations

Similar books and articles

Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
Successive Weakly Compact or Singular Cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
Weak Covering and the Tree Property.Ralf-Dieter Schindler - 1999 - Archive for Mathematical Logic 38 (8):515-520.
Models of Anselmian Theism.Yujin Nagasawa - 2013 - Faith and Philosophy 30 (1):3-25.
Core Models in the Presence of Woodin Cardinals.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (4):1145 - 1154.
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Bio-Agency and the Problem of Action.J. C. Skewes & C. A. Hooker - 2009 - Biology and Philosophy 24 (3):283 - 300.

Analytics

Added to PP index
2014-01-16

Total views
10 ( #878,107 of 2,455,626 )

Recent downloads (6 months)
1 ( #449,205 of 2,455,626 )

How can I increase my downloads?

Downloads

My notes