Homomorphisms and chains of Kripke models (Q535159): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-010-0224-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061881968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intuitionistic validity in \(T\)-normal Kripke structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some results on Kripke models over an arbitrary fixed frame / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kripke submodels and universal sentences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Syntactic preservation theorems for intuitionistic predicate logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4336034 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structure of kripke models of heyting arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Preservation theorems for Kripke models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence and feasibility in arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Submodels of Kripke models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fragments of HA based on \(\Sigma_ 1\)-induction / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:37, 4 July 2024
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