A generalization of the Łoś–Tarski preservation theorem

, &
Annals of Pure and Applied Logic 167 (3):189-210 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.11.001

Links

PhilArchive



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

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

On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
A generalization of the interpolation theorem for the many-sorted calculus.Krzysztof Rudnik - 1984 - Bulletin of the Section of Logic 13 (1):2-8.
A note on a theorem of Ax.Piotr Kowalski - 2008 - Annals of Pure and Applied Logic 156 (1):96-109.
Boltzmann's Formulation of the Helmholtz Vorticity Theorem.Wilfried Schröder & Hans-Jürgen Treder - 2000 - Foundations of Physics 30 (11):1987-1989.
Cantor theorem and friends, in logical form.Silvio Valentini - 2013 - Annals of Pure and Applied Logic 164 (4):502-508.
Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.
A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections.Marek Nowak - 2015 - Studia Logica 103 (2):287-301.
Notas sobre el “Wahrheitsbegriff”, II.Mario Torrente - 2001 - Análisis Filosófico 21 (2):149-186.
Preservation theorem and relativization theorem for cofinal extensions.Nobuyoshi Motohashi - 1986 - Journal of Symbolic Logic 51 (4):1022-1028.
Undefinability of truth and nonstandard models.Roman Kossak - 2004 - Annals of Pure and Applied Logic 126 (1-3):115-123.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
A note on three-valued logic and Tarski theorem on truth definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.

Analytics

Added to PP
2015-11-25

Downloads
33 (#484,655)

6 months
14 (#179,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Theory of models with generalized atomic formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.

View all 10 references / Add more references