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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJ. Vickers & P. D. Welch (2001). On Elementary Embeddings From an Inner Model to the Universe. Journal of Symbolic Logic 66 (3):1090-1116.
Ralf Schindler (2006). Core Models in the Presence of Woodin Cardinals. Journal of Symbolic Logic 71 (4):1145 - 1154.
W. J. Mitchell (1999). Jónsson Cardinals, Erdös Cardinals, and the Core Model. Journal of Symbolic Logic 64 (3):1065-1086.
Mitch Rudominer (1999). The Largest Countable Inductive Set is a Mouse Set. Journal of Symbolic Logic 64 (2):443-459.
Ralf-Dieter Schindler (1999). Successive Weakly Compact or Singular Cardinals. Journal of Symbolic Logic 64 (1):139-146.
Ali Enayat (2001). Power-Like Models of Set Theory. Journal of Symbolic Logic 66 (4):1766-1782.
Moti Gitik & Menachem Magidor (1994). Extender Based Forcings. Journal of Symbolic Logic 59 (2):445-460.
Andreas Baudisch (2002). Generic Variations of Models of T. Journal of Symbolic Logic 67 (3):1025-1038.
William J. Mitchell (1998). The Complexity of the Core Model. Journal of Symbolic Logic 63 (4):1393-1398.
Oliver Deiser & Dieter Donder (2003). Canonical Functions, Non-Regular Ultrafilters and Ulam's Problem on Ω. Journal of Symbolic Logic 68 (3): 713- 739.
Wlodzimierz Zadrozny (1981). A New Inner Model for ZFC. Journal of Symbolic Logic 46 (2):393-396.
William Mitchell & Ralf Schindler (2004). A Universal Extender Model Without Large Cardinals in V. Journal of Symbolic Logic 69 (2):371 - 386.
Carl Mummert & Stephen G. Simpson (2004). An Incompleteness Theorem for $\Beta_{N}-Models$. Journal of Symbolic Logic 69 (2):612 - 616.
Paul Larson (1999). An Smax Variation for One Souslin Tree. Journal of Symbolic Logic 64 (1):81 - 98.
Paul Larson (2002). A Uniqueness Theorem for Iterations. Journal of Symbolic Logic 67 (4):1344-1350.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,921 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
