Homomorphisms and chains of Kripke models (Q535159)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homomorphisms and chains of Kripke models |
scientific article |
Statements
Homomorphisms and chains of Kripke models (English)
0 references
11 May 2011
0 references
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.
0 references
Kripke model
0 references
intuitionistic logic
0 references
elementary submodel
0 references
universal sentence
0 references
existential sentence
0 references
union of chain
0 references