The self-iterability of L[E]

Journal of Symbolic Logic 74 (3):751-779 (2009)

Abstract

Let L[E] be an iterable tame extender model. We analyze to which extent L[E] knows fragments of its own iteration strategy. Specifically, we prove that inside L[E], for every cardinal K which is not a limit of Woodin cardinals there is some cutpoint t K > a>ω1 are cardinals, then ◊$_{K.\lambda }^* $ holds true, and if in addition λ is regular, then ◊$_{K.\lambda }^* $ holds true

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,891

External links

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

Through your library

Analytics

Added to PP
2010-09-12

Downloads
27 (#428,531)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jack Steel
University of Edinburgh

References found in this work

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.

Add more references

Citations of this work

Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Realizing an AD+ Model as a Derived Model of a Premouse.Yizheng Zhu - 2015 - Annals of Pure and Applied Logic 166 (12):1275-1364.

View all 8 citations / Add more citations

Similar books and articles

Core Models in the Presence of Woodin Cardinals.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (4):1145 - 1154.
Deconstructing Inner Model Theory.Ralf-Dieter Schindler, John Steel & Martin Zeman - 2002 - Journal of Symbolic Logic 67 (2):721-736.
Stacking Mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
Responsive Self.Stephen David Ross - 2010 - International Studies in Philosophy Monograph Series:269-292.
The Fine Structure of Real Mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
Proper Forcing and Remarkable Cardinals.Ralf-Dieter Schindler - 2000 - Bulletin of Symbolic Logic 6 (2):176-184.
A Dilemma in the Philosophy of Set Theory.Ralf-Dieter Schindler - 1994 - Notre Dame Journal of Formal Logic 35 (3):458-463.
The Artist as Transgressor in Mandel'štam's Poetry.Marina Glazova - 1988 - Studies in East European Thought 36 (1-2):1-61.