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

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.
Large cardinals and iteration trees of height ω.Alessandro Andretta - 1991 - Annals of Pure and Applied Logic 54 (1):1-15.
Inner model operators in L.Mitch Rudominer - 2000 - Annals of Pure and Applied Logic 101 (2-3):147-184.
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.
Chang models over derived models with supercompact measures.Takehiko Gappo, Sandra Müller & Grigor Sargsyan - forthcoming - Journal of Mathematical Logic.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Generic relativizations of fine structure.Kai Hauser - 2000 - Archive for Mathematical Logic 39 (4):227-251.

Analytics

Added to PP
2014-01-16

Downloads
75 (#776,235)

6 months
17 (#693,903)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Jack Steel
Jack Steel
University of Edinburgh

Citations of this work

Inner models and large cardinals.Ronald Jensen - 1995 - Bulletin of Symbolic Logic 1 (4):393-407.
Projectively well-ordered inner models.J. R. Steel - 1995 - Annals of Pure and Applied Logic 74 (1):77-104.
The mouse set theorem just past projective.Mitch Rudominer - 2024 - Journal of Mathematical Logic 25 (2).
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 32 citations / Add more citations

References found in this work

No references found.

Add more references