Core Models in the Presence of Woodin Cardinals

Journal of Symbolic Logic 71 (4):1145 - 1154 (2006)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1164060449

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

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.
Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable. [REVIEW]Joan Bagaria - 2002 - Bulletin of Symbolic Logic 8 (4):543-545.
Universally baire sets and definable well-orderings of the reals.Sy D. Friedman & Ralf Schindler - 2003 - Journal of Symbolic Logic 68 (4):1065-1081.
Proper forcing and l(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Ramsey cardinals, α-erdos cardinals, and the core model.Dirk R. H. Schlingmann - 1991 - Journal of Symbolic Logic 56 (1):108-114.
Proper forcing and remarkable cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.

Analytics

Added to PP
2010-08-24

Downloads
36 (#419,193)

6 months
11 (#191,387)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The definability of E in self-iterable mice.Farmer Schlutzenberg - 2023 - Annals of Pure and Applied Logic 174 (2):103208.

Add more citations

References found in this work

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.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.

Add more references