Finite Kripke models of HA are locally PA

DOI10.1305/NDJFL/1093636765zbMath0632.03048OpenAlexW2032357775MaRDI QIDQ1095140

B. George

Publication date: 1986

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

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

zbMATH Keywords

Heyting arithmeticPeano arithmeticlocal modelsfinite Kripke models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (6)

A semantic approach to conservativity ⋮ Some weak fragments of HA and certain closure properties ⋮ Intuitionistic validity in \(T\)-normal Kripke structures ⋮ Intuitionistic open induction and least number principle and the Buss operator ⋮ Preservation theorems for Kripke models ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

This page was built for publication: Finite Kripke models of HA are locally PA