Models of intuitionistic TT and N

Journal of Symbolic Logic 60 (2):640-653 (1995)
Let us define the intuitionistic part of a classical theory T as the intuitionistic theory whose proper axioms are identical with the proper axioms of T. For example, Heyting arithmetic HA is the intuitionistic part of classical Peano arithmetic PA. It's a well-known fact, proved by Heyting and Myhill, that ZF is identical with its intuitionistic part. In this paper, we mainly prove that TT, Russell's Simple Theory of Types, and NF, Quine's "New Foundations," are not equal to their intuitionistic part. So, an intuitionistic version of TT or NF seems more naturally definable than an intuitionistic version of ZF. In the first section, we present a simple technique to build Kripke models of the intuitionistic part of TT (with short examples showing bad properties of finite sets if they are defined in the usual classical way). In the remaining sections, we show how models of intuitionistic NF 2 and NF can be obtained from well-chosen classical ones. In these models, the excluded middle will not be satisfied for some non-stratified sentences
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275855
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,641
Through your library
References found in this work BETA
A Note on Intuitionistic Models of ${\Rm ZF}$.R. Lavendhomme & T. Lucas - 1983 - Notre Dame Journal of Formal Logic 24 (1):54-66.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

11 ( #398,867 of 2,158,169 )

Recent downloads (6 months)

1 ( #356,322 of 2,158,169 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums