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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Covering at limit cardinals of K.William J. Mitchell & Ernest Schimmerling - 2023 - Journal of Mathematical Logic 24 (1).
In inner models with Woodin cardinals.Sandra Müller & Grigor Sargsyan - 2021 - Journal of Symbolic Logic 86 (3):871-896.
Successive weakly compact or singular cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.

Analytics

Added to PP
2010-08-24

Downloads
70 (#311,921)

6 months
21 (#132,862)

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.
The Definability of the Extender Sequence From In.Farmer Schlutzenberg - 2024 - Journal of Symbolic Logic 89 (2):427-459.

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