On the consistency of an impredicative subsystem of Quine's NF
Journal of Symbolic Logic 47 (1):131-136 (1982)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRoger F. Gibson (1994). Quine and Davidson: Two Naturalized Epistemologists. Inquiry 37 (4):449 – 463.
Ronald Björn Jensen (1968). On the Consistency of a Slight (?) Modification of Quine'smew Foundations. Synthese 19 (1-2):250 - 264.
Audrey Yap (2009). Predicativity and Structuralism in Dedekind's Construction of the Reals. Erkenntnis 71 (2):157 - 173.
Nino B. Cocchiarella (1992). Conceptual Realism Versus Quine on Classes and Higher-Order Logic. Synthese 90 (3):379 - 436.
Gian Aldo Antonelli (1998). Extensional Quotients for Type Theory and the Consistency Problem for NF. Journal of Symbolic Logic 63 (1):247-261.
Andrea Cantini (1999). Relating Quine's NF to Feferman's EM. Studia Logica 62 (2):141-162.
Maurice Boffa & Paolo Casalegno (1985). The Consistency of Some 4-Stratified Subsystem of NF Including NF. Journal of Symbolic Logic 50 (2):407 - 411.
Sergei Tupailo (2010). Consistency of Strictly Impredicative NF and a Little More …. Journal of Symbolic Logic 75 (4):1326-1338.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,556 of 548,980 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
