Kripke submodels and universal sentences

DOI10.1002/MALQ.200610048zbMATH Open1123.03008OpenAlexW2053984022MaRDI QIDQ5293202FDOQ5293202

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

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

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)

Cites Work

• Forcing, arithmetic, division rings

Cited In (9)

• 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)