λ-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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,069

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

λ-structures and s-structures: Translating the models.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (4):257-317.
Structuralism and Isomorphism.Charles McCarty - 2013 - Philosophia Mathematica (1):nkt024.
Structured propositions and sentence structure.Jeffrey King - 1996 - Journal of Philosophical Logic 25 (5):495 - 521.
Expansions of o-Minimal Structures by Iteration Sequences.Chris Miller & James Tyne - 2006 - Notre Dame Journal of Formal Logic 47 (1):93-99.
First order logic with empty structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.
Generalizations of small profinite structures.Krzysztof Krupiński - 2010 - Journal of Symbolic Logic 75 (4):1147-1175.
A rational reconstruction of the domain of feature structures.M. Andrew Moshier - 1995 - Journal of Logic, Language and Information 4 (2):111-143.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
A theory of hierarchical consequence and conditionals.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Logic, Language and Information 19 (1):3-32.
Countable structures, Ehrenfeucht strategies, and wadge reductions.Tom Linton - 1991 - Journal of Symbolic Logic 56 (4):1325-1348.

Analytics

Added to PP
2013-10-27

Downloads
52 (#277,881)

6 months
2 (#725,330)

Historical graph of downloads
How can I increase my downloads?

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