Homomorphisms and chains of Kripke models (Q535159): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Seyed-Mohammad Bagheri / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C90 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5886781 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kripke model | |||
Property / zbMATH Keywords: Kripke model / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intuitionistic logic | |||
Property / zbMATH Keywords: intuitionistic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elementary submodel | |||
Property / zbMATH Keywords: elementary submodel / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
universal sentence | |||
Property / zbMATH Keywords: universal sentence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
existential sentence | |||
Property / zbMATH Keywords: existential sentence / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
union of chain | |||
Property / zbMATH Keywords: union of chain / rank | |||
Normal rank |
Revision as of 09:51, 1 July 2023
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