Partially-Elementary Extension Kripke Models: A Characterization and Applications

DOI10.1093/JIGPAL/JZK005MaRDI QIDQ5479025zbMATH OpenOpenAlexFDO

Authors Tomasz Połacik

Publication date 6 July 2006

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

Full work available at URL https://doi.org/10.1093/jigpal/jzk005

zbMATH Keywords

constructive theoriesfragments of Heyting arithmeticintuitionistic first-order theoriesKripke models

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) First-order arithmetic and fragments (03F30)

Recommendations

• Fourier-Stieltjes algebras of locally compact groupoids
• scientific article; zbMATH DE number 1743869
• scientific article; zbMATH DE number 1995977
• scientific article; zbMATH DE number 66454
• scientific article; zbMATH DE number 865523

Cited in

(7)

• Finite Kripke models of HA are locally PA
• Intuitionistic axiomatizations for bounded extension Kripke models.
• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
• scientific article; zbMATH DE number 1463255 (Why is no real title available?)
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• The Fourier Algebra for Locally Compact Groupoids
• Extensions of Kripke models

This page was built for publication: Partially-Elementary Extension Kripke Models: A Characterization and Applications

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