This paper is a continuation of the study of preservation theorems in intuitionistic logic by the authors [``Preservation theorems for Kripke models, Math. Log. Q. 55, No. 2, 177--184 (2009; Zbl 1160.03018)]. It is based on Kripke semantics and restricts to those Kripke models defined on a fixed frame \(F\). A homomorphism (resp. embedding) between two Kripke models is a compatible family of maps between the corresponding nodes which preserves atomic formulas from left to right (resp. from both sides). Two classes of formulas \(\mathcal U(\Phi,\Psi)\) and \(\mathcal E(\Phi,\Psi)\) are introduced which extend the ordinary classes of universal and existential formulas. Theories axiomatized by sentences from each one are characterized in terms of homomorphisms and embeddings, similar to the classical cases. Also, a class of theories preserved under the union of chain is introduced. Finally, as an application to intuitionistic arithmetic, an independence result of Wehmeier is strengthened.
- Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
- Constructivism in mathematics. An introduction. Volume II
- Existence and feasibility in arithmetic
- Fragments of HA based on \(\Sigma_ 1\)-induction
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- Intuitionistic validity in \(T\)-normal Kripke structures
- Kripke submodels and universal sentences
- On the structure of kripke models of heyting arithmetic
- Preservation theorems for Kripke models
- Some results on Kripke models over an arbitrary fixed frame
- Submodels of Kripke models
- Syntactic preservation theorems for intuitionistic predicate logic
This page was built for publication: Homomorphisms and chains of Kripke models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535159)
