Categoricity theorems and conceptions of set

Journal of Philosophical Logic 31 (2):181-196 (2002)
  Copy   BIBTEX

Abstract

Two models of second-order ZFC need not be isomorphic to each other, but at least one is isomorphic to an initial segment of the other. The situation is subtler for impure set theory, but Vann McGee has recently proved a categoricity result for second-order ZFCU plus the axiom that the urelements form a set. Two models of this theory with the same universe of discourse need not be isomorphic to each other, but the pure sets of one are isomorphic to the pure sets of the other. This paper argues that similar results obtain for considerably weaker second-order axiomatizations of impure set theory that are in line with two different conceptions of set, the iterative conception and the limitation of size doctrine

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,219

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

Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Toward a Theory of Second-Order Consequence.Augustín Rayo & Gabriel Uzquiano - 1999 - Notre Dame Journal of Formal Logic 40 (3):315-325.
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
Substandard models of finite set theory.Laurence Kirby - 2010 - Mathematical Logic Quarterly 56 (6):631-642.

Analytics

Added to PP
2009-01-28

Downloads
152 (#134,066)

6 months
26 (#119,634)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Uzquiano
University of Southern California

Citations of this work

Bad company generalized.Gabriel Uzquiano - 2009 - Synthese 170 (3):331 - 347.

Add more citations

References found in this work

How we learn mathematical language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.
Iteration Again.George Boolos - 1989 - Philosophical Topics 17 (2):5-21.
Models of second-order zermelo set theory.Gabriel Uzquiano - 1999 - Bulletin of Symbolic Logic 5 (3):289-302.

Add more references