Core Models in the Presence of Woodin Cardinals

Journal of Symbolic Logic 71 (4):1145 - 1154 (2006)
Abstract
Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but $M_{n+1}^{\#}$ doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1164060449
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,208
Through your library
References found in this work BETA
Projectively Well-Ordered Inner Models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
Optimal Proofs of Determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
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.
Core Models with More Woodin Cardinals.J. R. Steel - 2002 - Journal of Symbolic Logic 67 (3):1197-1226.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
On Measurable Limits of Compact Cardinals.Arthur W. Apter - 1999 - Journal of Symbolic Logic 64 (4):1675-1688.
The Reals in Core Models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Proper Forcing and Remarkable Cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.

Monthly downloads

Added to index

2010-08-24

Total downloads

7 ( #521,485 of 2,164,296 )

Recent downloads (6 months)

1 ( #348,039 of 2,164,296 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums