The Consistency of Some 4-Stratified Subsystem of NF Including NF 3

&
Journal of Symbolic Logic 50 (2):407-411 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274229

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
The consistency problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
End-extensions preserving power set.Thomas Forster & Richard Kaye - 1991 - Journal of Symbolic Logic 56 (1):323-328.
The rise and fall of typed sentences.Marcel Crabbé - 2000 - Journal of Symbolic Logic 65 (4):1858-1862.
Systems of combinatory logic related to predicative and ‘mildly impredicative’ fragments of Quine's ‘New Foundations’.M. Randall Holmes - 1993 - Annals of Pure and Applied Logic 59 (1):45-53.
Extensional Quotients for Type Theory and the Consistency Problem for NF.Gian Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
Further consistency and independence results in NF obtained by the permutation method.T. E. Forster - 1983 - Journal of Symbolic Logic 48 (2):236-238.
Cantorian Models of Predicative.Panagiotis Rouvelas - 2024 - Journal of Symbolic Logic 89 (2):637-645.
The axiom of infinity in Quine's new foundations.J. Barkley Rosser - 1952 - Journal of Symbolic Logic 17 (4):238-242.

Analytics

Added to PP
2009-01-28

Downloads
12 (#317,170)

6 months
24 (#640,997)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reasons to believe and assertion.Paolo Casalegno - 2009 - Dialectica 63 (3):231-248.
Reasons to Believe and Assertion.Paolo Casalegno - 2009 - Dialectica 63 (3):231-248.
Inception of Quine's ontology.Lieven Decock - 2004 - History and Philosophy of Logic 25 (2):111-129.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references