Syntactic Preservation Theorems for Intuitionistic Predicate Logic

Notre Dame Journal of Formal Logic 51 (2):225-245 (2010)
  Copy   BIBTEX

Abstract

We define notions of homomorphism, submodel, and sandwich of Kripke models, and we define two syntactic operators analogous to universal and existential closure. Then we prove an intuitionistic analogue of the generalized (dual of the) Lyndon-Łoś-Tarski Theorem, which characterizes the sentences preserved under inverse images of homomorphisms of Kripke models, an intuitionistic analogue of the generalized Łoś-Tarski Theorem, which characterizes the sentences preserved under submodels of Kripke models, and an intuitionistic analogue of the generalized Keisler Sandwich Theorem, which characterizes the sentences preserved under sandwiches of Kripke models. We also define several intuitionistic formula hierarchies analogous to the classical formula hierarchies $\forall_n (= \Pi^0_n)$ and $\exists_n (=\Sigma^0_n)$ , and we show how our generalized syntactic preservation theorems specialize to these hierarchies. Each of these theorems implies the corresponding classical theorem in the case where the Kripke models force classical logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

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

A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Partial Isomorphisms and Intuitionistic Logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.

Analytics

Added to PP
2010-08-13

Downloads
30 (#386,282)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive Ackermann's Interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.
Extensions of Kripke Models.Mostafa Zaare - 2017 - Logic Journal of the IGPL 25 (5):697-699.
Homomorphisms and Chains of Kripke Models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.

Add more citations

References found in this work

Theory of Models with Generalized Atomic Formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.
Fragments of Heyting Arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.
Submodels of Kripke Models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.

View all 8 references / Add more references