Kripke submodels and universal sentences

DOI10.1002/MALQ.200610048MaRDI QIDQ5293202zbMATH OpenOpenAlexFDO

Authors Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg

Publication date 26 June 2007

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

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

zbMATH Keywords

Kripke modeluniversal sentenceintuitionistic predicate logicKripke submodel

Mathematics Subject Classification ID

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

Recommendations

• Preservation theorems for Kripke models
• Submodels of Kripke models
• Homomorphisms and chains of Kripke models
• Some results on Kripke models over an arbitrary fixed frame
• Extensions of Kripke models

Cites work

• Forcing, arithmetic, division rings

Cited in

(10)

• Universal models for the positive fragment of intuitionistic logic
• Homomorphisms and chains of Kripke models
• Some preservation theorems in an intermediate logic
• Syntactic preservation theorems for intuitionistic predicate logic
• 2009 North American Annual Meeting of the Association for Symbolic Logic
• Submodels of Kripke models
• The Universal Theory Tool Building Toolkit Is Substructural
• Kripke models for subtheories of \textsf{CZF}
• Preservation theorems for Kripke models
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09

This page was built for publication: Kripke submodels and universal sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5293202)