The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more)
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 60 (1):178-190 (1995)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Albert G. Dragalin (1995). Explicit Algebraic Models for Constructive and Classical Theories with Non-Standard Elements. Studia Logica 55 (1):33 - 61.
Kai Hauser (1999). A Minimal Counterexample to Universal Baireness. Journal of Symbolic Logic 64 (4):1601-1627.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
John Bell (2008). The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories. Mathematical Logic Quarterly 54 (2):194-201.
Steve Awodey, Henrik Forssell & Michael A. Warren, Algebraic Models of Sets and Classes in Categories of Ideals.
Vladimir Kanovei & Michael Reeken (2000). Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica 64 (1):37-59.
N. Prati (1994). A Partial Model of NF with E. Journal of Symbolic Logic 59 (4):1245 - 1253.
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
Stephan Hartmann (1995). Models as a Tool for Theory Construction: Some Strategies of Preliminary Physics. In William Herfel et al (ed.), Theories and Models in Scientific Processes. Rodopi.
Added to index2009-01-28
Total downloads6 ( #218,325 of 1,169,151 )
Recent downloads (6 months)1 ( #140,419 of 1,169,151 )
How can I increase my downloads?