Partially-Elementary Extension Kripke Models: A Characterization and Applications

DOI10.1093/jigpal/jzk005zbMath1102.03040OpenAlexW2132282180MaRDI QIDQ5479025

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

Kripke modelsconstructive theoriesintuitionistic first-order theoriesfragments of Heyting arithmetic

Mathematics Subject Classification ID

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

Related Items (1)

Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

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