On the structure of kripke models of heyting arithmetic
From MaRDI portal
Publication:4304788
DOI10.1002/malq.19930390154zbMath0805.03050OpenAlexW1975079077MaRDI QIDQ4304788
Publication date: 1993
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19930390154
First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Intuitionistic mathematics (03F55)
Related Items
2000 Annual Meeting of the Association for Symbolic Logic ⋮ Some weak fragments of HA and certain closure properties ⋮ Homomorphisms and chains of Kripke models ⋮ Intuitionistic open induction and least number principle and the Buss operator ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
Cites Work
This page was built for publication: On the structure of kripke models of heyting arithmetic