A criterion for coarse iterability

Archive for Mathematical Logic 49 (4):447-467 (2010)
  Copy   BIBTEX

Abstract

The main result of this paper is the following theorem: Let M be a premouse with a top extender, F. Suppose that (a) M is linearly coarsely iterable via hitting F and its images, and (b) if M * is a linear iterate of M as in (a), then M * is coarsely iterable with respect to iteration trees which do not use the top extender of M * and its images. Then M is coarsely iterable

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

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

The Self-Iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Core Models in the Presence of Woodin Cardinals.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (4):1145 - 1154.
Large Cardinals and Iteration Trees of Height Ω.Alessandro Andretta - 1991 - Annals of Pure and Applied Logic 54 (1):1-15.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
The Tree Property at Successors of Singular Cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
Aronszajn Trees and the Successors of a Singular Cardinal.Spencer Unger - 2013 - Archive for Mathematical Logic 52 (5-6):483-496.
A Weak Dodd-Jensen Lemma.Itay Neeman & John Steel - 1999 - Journal of Symbolic Logic 64 (3):1285-1294.
Some Applications of Coarse Inner Model Theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
The Fine Structure of Real Mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Extender Based Forcings.Moti Gitik & Menachem Magidor - 1994 - Journal of Symbolic Logic 59 (2):445-460.

Analytics

Added to PP
2013-11-23

Downloads
32 (#362,084)

6 months
4 (#172,016)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Inner Models and Large Cardinals.Martin Zeman - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.

Add more references