Inner models with many Woodin cardinals

Annals of Pure and Applied Logic 65 (2):185-209 (1993)
  Copy   BIBTEX

Abstract

We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(93)90037-e

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,990

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

Ernest Schimmerling. Covering properties of core models. Sets and proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 , pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core mode. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
Woodin cardinals and presaturated ideals.Noa Goldring - 1992 - Annals of Pure and Applied Logic 55 (3):285-303.
Inner model operators in L.Mitch Rudominer - 2000 - Annals of Pure and Applied Logic 101 (2-3):147-184.
Large cardinals and iteration trees of height ω.Alessandro Andretta - 1991 - Annals of Pure and Applied Logic 54 (1):1-15.
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
Generic relativizations of fine structure.Kai Hauser - 2000 - Archive for Mathematical Logic 39 (4):227-251.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.

Analytics

Added to PP
2014-01-16

Downloads
24 (#889,308)

6 months
4 (#1,231,450)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Steel
University of Edinburgh

Citations of this work

Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
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.
Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.

View all 31 citations / Add more citations

References found in this work

No references found.

Add more references