Homomorphisms and chains of Kripke models

DOI10.1007/s00153-010-0224-5zbMath1239.03005MaRDI QIDQ535159

Mostafa Zaare, Morteza Moniri

Publication date: 11 May 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-010-0224-5

zbMATH Keywords

intuitionistic logic; Kripke model; elementary submodel; existential sentence; union of chain; universal sentence

Mathematics Subject Classification ID

03F30: First-order arithmetic and fragments

03C40: Interpolation, preservation, definability

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

03B20: Subsystems of classical logic (including intuitionistic logic)

Cites Work

• Unnamed Item
• Intuitionistic validity in \(T\)-normal Kripke structures
• Syntactic preservation theorems for intuitionistic predicate logic
• Constructivism in mathematics. An introduction. Volume II
• Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
• Fragments of HA based on \(\Sigma_ 1\)-induction
• Preservation theorems for Kripke models
• On the structure of kripke models of heyting arithmetic
• Some results on Kripke models over an arbitrary fixed frame
• Kripke submodels and universal sentences
• Existence and feasibility in arithmetic
• Submodels of Kripke models