The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more)

Journal of Symbolic Logic 60 (1):178-190 (1995)
  Copy   BIBTEX

Abstract

An ω-model (a model in which all natural numbers are standard) of the predicative fragment of Quine's set theory "New Foundations" (NF) is constructed. Marcel Crabbe has shown that a theory NFI extending predicative NF is consistent, and the model constructed is actually a model of NFI as well. The construction follows the construction of ω-models of NFU (NF with urelements) by R. B. Jensen, and, like the construction of Jensen for NFU, it can be used to construct α-models for any ordinal α. The construction proceeds via a model of a type theory of a peculiar kind; we first discuss such "tangled type theories" in general, exhibiting a "tangled type theory" (and also an extension of Zermelo set theory with Δ 0 comprehension) which is equiconsistent with NF (for which the consistency problem seems no easier than the corresponding problem for NF (still open)), and pointing out that "tangled type theory with urelements" has a quite natural interpretation, which seems to provide an explanation for the more natural behaviour of NFU relative to the other set theories of this kind, and can be seen anachronistically as underlying Jensen's consistency proof for NFU

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
31 (#445,444)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Subsystems of Quine's "New Foundations" with Predicativity Restrictions.M. Randall Holmes - 1999 - Notre Dame Journal of Formal Logic 40 (2):183-196.
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.
Strong Ambiguity.Panagiotis Rouvelas - 2022 - Mathematical Logic Quarterly 68 (1):110-117.
Cantorian Models of Predicative.Panagiotis Rouvelas - forthcoming - Journal of Symbolic Logic:1-9.

View all 6 citations / Add more citations

References found in this work

Negative types.Hao Wang - 1952 - Mind 61 (243):366-368.

Add more references