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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Jensen R.: A New Fine Structure for Higher Core Models. Handwritten Notes, Berlin (1997)
Mitchell W.J., Steel J.R.: Fine Structure and Iteration. Trees Lecture Notes in Logic vol. 3. Springer, Berlin (1994)
Steel J.R.: The Core Model Iterability Problem. Lecture Notes in Logic vol. 8. Springer, Berlin (1996)
Steel, J.R.: An outline of inner model theory. In: Foreman, M., Kanamori, A., Magidor, M. Handbook of Set Theory, Springer, Berlin (2009)
Steel J.R., Welch P.D.: \({\Sigma^1_3}\) absoluteness and the second uniform indiscernible. Israel J. Math. 104, 157–190 (1998)
Schindler, R., Zeman, M.: Fine structure. In: Foreman, M., Kanamori, A., Magidor, M. Handbook of Set Theory, Springer, Berlin (2009)
Zeman M.: Inner Models and Large Cardinals. De Gruyter, Berlin (2002)
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
During part of the research for this article, the first author was supported by DFG-grant Je 209/4-1, for which he wishes to express his gratitude. Also, during part of the research, he was affiliated to the Institute for Mathematical Logic and Foundations of Münster University, Germany.
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Fuchs, G., Neeman, I. & Schindler, R. A criterion for coarse iterability. Arch. Math. Logic 49, 447–467 (2010). https://doi.org/10.1007/s00153-010-0180-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0180-0