The self-iterability of L[E]

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


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



    Upload a copy of this work     Papers currently archived: 92,168

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

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.
Jacques Derrida.Nicholas Royle - 2003 - New York: Routledge.
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

48 (#332,697)

6 months
19 (#137,170)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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