DOI10.1305/ndjfl/1093636765zbMath0632.03048MaRDI 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 arithmetic; Peano arithmetic; local models; finite Kripke models
Mathematics Subject Classification ID
03F30: First-order arithmetic and fragments
03F55: Intuitionistic mathematics