Preservation theorems for Kripke models

DOI10.1002/MALQ.200710085zbMath1160.03018OpenAlexW2074174650MaRDI QIDQ3619870

Morteza Moniri, Mostafa Zaare

Publication date: 9 April 2009

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

Full work available at URL: https://doi.org/10.1002/malq.200710085

zbMATH Keywords

Kripke modelelementary submodelexistential sentenceuniversal sentenceintuitionistic first-order logic

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Homomorphisms and chains of Kripke models

Cites Work

• Unnamed Item
• Finite Kripke models of HA are locally PA
• Constructivism in mathematics. An introduction. Volume I
• Kripke submodels and universal sentences
• Logic and structure
• Submodels of Kripke models

This page was built for publication: Preservation theorems for Kripke models