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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,649

External links

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

Through your library

Similar books and articles

Consistency of Strictly Impredicative NF and a Little More ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
The Strength of Mac Lane Set Theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Stratified Languages.A. Pétry - 1992 - Journal of Symbolic Logic 57 (4):1366-1376.
Re-Examining the Role of Consistency: The Cornerstone, Not Simply an Important Factor.Patrice Terrier - 1998 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 4.
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.
The Stratified Spaces of Intern Degrees of Freedom.V. Sevrjuk - 2008 - Proceedings of the Xxii World Congress of Philosophy 43:243-253.
Aligning Homeostatic and Heterostatic Perspectives.P. M. Pilarski - 2014 - Constructivist Foundations 9 (2):213-215.
The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
More Infinity for a Better Finitism.Sam Sanders - 2010 - Annals of Pure and Applied Logic 161 (12):1525-1540.

Analytics

Added to PP
2009-01-28

Downloads
204 (#60,772)

6 months
1 (#419,921)

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