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

Gabriel Uzquiano
University of Southern California
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
Keywords categoricity  second-order set theory  iterative conception  limitation of size
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1015276715899
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
Through your library

References found in this work BETA

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.
How We Learn Mathematical Language.Vann McGee - 1997 - Philosophical Review 106 (1):35-68.
Models of Second-Order Zermelo Set Theory.Gabriel Uzquiano - 1999 - Bulletin of Symbolic Logic 5 (3):289-302.

Add more references

Citations of this work BETA

Bad Company Generalized.Gabriel Uzquiano - 2009 - Synthese 170 (3):331 - 347.

Add more citations

Similar books and articles

Proper Classes Via the Iterative Conception of Set.Mark F. Sharlow - 1987 - Journal of Symbolic Logic 52 (3):636-650.
Toward a Theory of Second-Order Consequence.Augustín Rayo & Gabriel Uzquiano - 1999 - Notre Dame Journal of Formal Logic 40 (3):315-325.
Categoricity and Indefinite Extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
On the Iterative Explanation of the Paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.
Well- and Non-Well-Founded Fregean Extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
Isomorphic but Not Lower Base-Isomorphic Cylindric Set Algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.
Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.


Added to PP index

Total views
114 ( #105,330 of 2,533,648 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,648 )

How can I increase my downloads?


My notes