λ-structures and s-structures: Translating the iteration strategies

Annals of Pure and Applied Logic 162 (9):710-751 (2011)
  Copy   BIBTEX

Abstract

Continuing the work of Fuchs [1], I show that the translation functions developed previously map iterable λ-structures to iterable s-structures and vice versa. To this end, I analyse how the translation functions interact with the formation of extender ultrapowers and normal iterations. This analysis makes it possible to translate iterations, and, in a last step, iteration strategies, thus arriving at the result.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.02.002

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

λ-structures and s-structures: Translating the models.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (4):257-317.
Supercomplete extenders and type 1 mice: Part I.Q. Feng & R. Jensen - 2004 - Annals of Pure and Applied Logic 128 (1-3):1-73.
A criterion for coarse iterability.Gunter Fuchs, Itay Neeman & Ralf Schindler - 2010 - Archive for Mathematical Logic 49 (4):447-467.
ℵ0-categorical structures with a predimension.David M. Evans - 2002 - Annals of Pure and Applied Logic 116 (1-3):157-186.
Iteration Theorems for Subversions of Forcing Classes.Gunter Fuchs & Corey Bacal Switzer - 2025 - Journal of Symbolic Logic 90 (1):1-51.
Using ultrapowers to compare continuous structures.H. Jerome Keisler - 2024 - Annals of Pure and Applied Logic 175 (1):103284.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
Relative categoricity in abelian groups II.Wilfrid Hodges & Anatoly Yakovlev - 2009 - Annals of Pure and Applied Logic 158 (3):203-231.
The self-iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
Primitive iteration and unary functions.G. Germano & S. Mazzanti - 1988 - Annals of Pure and Applied Logic 40 (3):217-256.

Analytics

Added to PP
2013-10-27

Downloads
110 (#443,588)

6 months
17 (#693,903)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The comparison lemma.John R. Steel - 2024 - Annals of Pure and Applied Logic 175 (1):103329.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Deconstructing inner model theory.Ralf-Dieter Schindler, John Steel & Martin Zeman - 2002 - Journal of Symbolic Logic 67 (2):721-736.
λ-structures and s-structures: Translating the models.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (4):257-317.
Successor levels of the Jensen hierarchy.Gunter Fuchs - 2009 - Mathematical Logic Quarterly 55 (1):4-20.

Add more references