Localizing finite-depth Kripke models

DOI10.1093/JIGPAL/JZY036MaRDI QIDQ5382576zbMATH OpenOpenAlexWikidataFDO

Authors Mojtaba Mojtahedi

Publication date 18 June 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.08730

zbMATH Keywords

finite depthintuitionistic logicKripke modelslocal truth

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Finite Kripke models of HA are locally PA
• Classical and intuitionistic models of arithmetic
• On the structure of kripke models of heyting arithmetic
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• Intuitionistic axiomatizations for bounded extension Kripke models.

Cited in

(4)

• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
• A semantic model of confinement and locality theorem
• scientific article; zbMATH DE number 125989 (Why is no real title available?)
• Localizing Finite-Depth Kripke Models

This page was built for publication: Localizing finite-depth Kripke models

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