Notre Dame Journal of Formal Logic 37 (3):452-461 (1996)

Kai Wehmeier
University of California, Irvine
Given a classical theory T, a Kripke model K for the language L of T is called T-normal or locally PA just in case the classical L-structure attached to each node of K is a classical model of T. Van Dalen, Mulder, Krabbe, and Visser showed that Kripke models of Heyting Arithmetic (HA) over finite frames are locally PA, and that Kripke models of HA over frames ordered like the natural numbers contain infinitely many PA-nodes. We show that Kripke models of the latter sort are in fact PA-normal. This result is extended to a somewhat larger class of frames.
Keywords Heyting Arithmetic  Kripke models  intuitionistic logic
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039886521
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,226
Through your library

References found in this work BETA

Intuitionistic Validity in T-Normal Kripke Structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
On the Structure of Kripke Models of Heyting Arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Finite Kripke Models of HA Are Locally PA.E. C. W. Krabbe - 1986 - Notre Dame Journal of Formal Logic 27:528-532.

Add more references

Citations of this work BETA

Localizing Finite-Depth Kripke Models.Mojtaba Mojtahedi - 2019 - Logic Journal of the IGPL 27 (3):239-251.

View all 10 citations / Add more citations

Similar books and articles

Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Classical Arithmetic as Part of Intuitionistic Arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Theories of Arithmetics in Finite Models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.


Added to PP index

Total views
42 ( #267,916 of 2,499,739 )

Recent downloads (6 months)
2 ( #278,202 of 2,499,739 )

How can I increase my downloads?


My notes