Classical and intuitionistic models of arithmetic

DOI10.1305/ndjfl/1039886521zbMath0871.03027OpenAlexW2088003715MaRDI QIDQ1355126

Kai Frederick Wehmeier

Publication date: 3 September 1997

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039886521

zbMATH Keywords

Heyting arithmeticframepruningKripke modelslocally PA

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (5)

A semantic approach to conservativity ⋮ Some weak fragments of HA and certain closure properties ⋮ Intuitionistic axiomatizations for bounded extension Kripke models. ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

This page was built for publication: Classical and intuitionistic models of arithmetic