Translator Disclaimer
2010 Syntactic Preservation Theorems for Intuitionistic Predicate Logic
Jonathan Fleischmann
Notre Dame J. Formal Logic 51(2): 225-245 (2010). DOI: 10.1215/00294527-2010-014

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 n ( = Π n 0 ) and n ( = Σ n 0 ) , 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.

Citation

Download Citation

Jonathan Fleischmann. "Syntactic Preservation Theorems for Intuitionistic Predicate Logic." Notre Dame J. Formal Logic 51 (2) 225 - 245, 2010. https://doi.org/10.1215/00294527-2010-014

Information

Published: 2010
First available in Project Euclid: 11 June 2010

zbMATH: 1254.03016
MathSciNet: MR2667934
Digital Object Identifier: 10.1215/00294527-2010-014

Subjects:
Primary: 03B20, 03C40, 03C90
Secondary: 03F55

Rights: Copyright © 2010 University of Notre Dame

JOURNAL ARTICLE
21 PAGES


SHARE
Vol.51 • No. 2 • 2010
Back to Top