λ-structures and s-structures: Translating the models

Annals of Pure and Applied Logic 162 (4):257-317 (2011)
  Copy   BIBTEX

Abstract

I develop a translation procedure between λ-structures, which correspond to premice in the Friedman–Jensen indexing convention on the one hand and s-structures, which are essentially the same as premice in the Mitchell–Steel indexing scheme

Links

PhilArchive



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

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 iteration strategies.Gunter Fuchs - 2011 - Annals of Pure and Applied Logic 162 (9):710-751.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
The cognitive structure of scientific theories.Ronald N. Giere - 1994 - Philosophy of Science 61 (2):276-296.
Structuralism and Isomorphism.Charles McCarty - 2013 - Philosophia Mathematica (1):nkt024.
Models in biology.Jay Odenbaugh - 2009 - Routledge Encyclopedia of Philosophy.
Structured propositions and sentence structure.Jeffrey King - 1996 - Journal of Philosophical Logic 25 (5):495 - 521.
Counting finite models.Alan R. Woods - 1997 - Journal of Symbolic Logic 62 (3):925-949.
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.

Analytics

Added to PP
2013-10-27

Downloads
37 (#392,508)

6 months
2 (#889,309)

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.
Successor levels of the Jensen hierarchy.Gunter Fuchs - 2009 - Mathematical Logic Quarterly 55 (1):4-20.

Add more references