Journal of Philosophical Logic 31 (2):181-196 (2002)
|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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Mark F. Sharlow (1987). Proper Classes Via the Iterative Conception of Set. Journal of Symbolic Logic 52 (3):636-650.
B. Biró & S. Shelah (1988). Isomorphic but Not Lower Base-Isomorphic Cylindric Set Algebras. Journal of Symbolic Logic 53 (3):846-853.
Ignacio Jané & Gabriel Uzquiano (2004). Well- and Non-Well-Founded Fregean Extensions. Journal of Philosophical Logic 33 (5):437-465.
Christopher Menzel (1986). On the Iterative Explanation of the Paradoxes. Philosophical Studies 49 (1):37 - 61.
James Walmsley (2002). Categoricity and Indefinite Extensibility. Proceedings of the Aristotelian Society 102 (3):217–235.
James H. Schmerl (1980). Decidability and ℵ0-Categoricity of Theories of Partially Ordered Sets. Journal of Symbolic Logic 45 (3):585 - 611.
Agustin Rayo (1999). Toward a Theory of Second-Order Consequence. Notre Dame Journal of Formal Logic 40 (3):315-325.
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Added to index2009-01-28
Total downloads23 ( #54,659 of 556,772 )
Recent downloads (6 months)1 ( #64,754 of 556,772 )
How can I increase my downloads?