Iterates of the Core Model

Journal of Symbolic Logic 71 (1):241 - 251 (2006)
Abstract
Let N be a transitive model of ZFC such that ωN ⊂ N and P(R) ⊂ N. Assume that both V and N satisfy "the core model K exists." Then KN is an iterate of K. i.e., there exists an iteration tree J on K such that J has successor length and $\mathit{M}_{\infty}^{\mathit{J}}=K^{N}$. Moreover, if there exists an elementary embedding π: V → N then the iteration map associated to the main branch of J equals π ↾ K. (This answers a question of W. H. Woodin, M. Gitik, and others.) The hypothesis that P(R) ⊂ N is not needed if there does not exist a transitive model of ZFC with infinitely many Woodin cardinals
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1140641172
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,191
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.
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.

Add more references

Citations of this work BETA
The Structure of the Mitchell Order – II.Omer Ben-Neria - 2015 - Annals of Pure and Applied Logic 166 (12):1407-1432.
Forcing Absoluteness and Regularity Properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.

Add more citations

Similar books and articles
On Elementary Embeddings From an Inner Model to the Universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Core Models in the Presence of Woodin Cardinals.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (4):1145 - 1154.
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Successive Weakly Compact or Singular Cardinals.Ralf-Dieter Schindler - 1999 - Journal of Symbolic Logic 64 (1):139-146.
Power-Like Models of Set Theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Extender Based Forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.
Generic Variations of Models of T.Andreas Baudisch - 2002 - Journal of Symbolic Logic 67 (3):1025-1038.
The Complexity of the Core Model.William J. Mitchell - 1998 - Journal of Symbolic Logic 63 (4):1393-1398.
A New Inner Model for ZFC.Wlodzimierz Zadrozny - 1981 - Journal of Symbolic Logic 46 (2):393-396.
An Incompleteness Theorem for [Image].Carl Mummert & Stephen G. Simpson - 2004 - Journal of Symbolic Logic 69 (2):612 - 616.
An Smax Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81 - 98.
A Uniqueness Theorem for Iterations.Paul Larson - 2002 - Journal of Symbolic Logic 67 (4):1344-1350.

Monthly downloads

Added to index

2010-08-24

Total downloads

4 ( #645,333 of 2,172,599 )

Recent downloads (6 months)

1 ( #325,337 of 2,172,599 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums