The consistency problem for NF

Journal of Symbolic Logic 42 (2):215-220 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272122

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

The consistency of arithmetic.Storrs McCall - manuscript
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
Multinationals, local practice, and the problem of ethical consistency.Arnold Berleant - 1982 - Journal of Business Ethics 1 (3):185 - 193.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
"True" arithmetic can prove its own consistency.Andrew Boucher -
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
Scientific Progress and Conceptual Consistency.Edward MacKinnon - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:137 - 145.

Analytics

Added to PP
2009-01-28

Downloads
45 (#354,374)

6 months
4 (#795,160)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Systems of combinatory logic related to Quine's ‘New Foundations’.M. Randall Holmes - 1991 - Annals of Pure and Applied Logic 53 (2):103-133.
The 3-Stratifiable Theorems of $\mathit{NFU} \infty$.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.
The 3-Stratifiable Theorems of.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.

Add more citations

References found in this work

Foundations of Set Theory.J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.

Add more references