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

Jack Steel
University of Edinburgh
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1245158084
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,949
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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 BETA

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 7 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.


Added to PP index

Total views
27 ( #397,035 of 2,439,372 )

Recent downloads (6 months)
1 ( #433,984 of 2,439,372 )

How can I increase my downloads?


My notes