Categoricity theorems and conceptions of set

被引：0

作者：

Uzquiano G. ^{[1
]}

机构：

[1] Department of Philosophy, University of Rochester, Rochester

来源：

Journal of Philosophical Logic | 2002年 / 31卷 / 2期

关键词：

Categoricity; Iterative conception; Limitation of size; Second-order set theory;

D O I：

10.1023/A:1015276715899

中图分类号：

学科分类号：

摘要：

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. © 2002 Kluwer Academic Publishers.

引用

页码：181 / 196

页数：15

共 9 条

[1]

Boolos G., Iteration again, Philos. Topics, 17, pp. 15-21, (1989)

[2]

Formal Systems and Recursive Functions, (1962)

[3]

McGee V., How we learn mathematical language, Philos. Rev., 106, pp. 35-68, (1997)

[4]

Montague R., Set Theory and Higher-Order Logic, pp. 131-148, (1962)

[5]

Potter M., Sets An Introduction, (1990)

[6]

Scott D., Axiomatizing set theory, Axiomatic Set Theory Proceedings of Symposia on Pure Mathematics, 13, 2 PART, pp. 204-214, (1974)

[7]

Shapiro S., Weir A., New V, ZF, and Abstraction, Philos. Math., 3, (1999)

[8]

Smullyan R., Fitting M., Set Theory and the Continuum Problem, Oxford Logic Guides, 64, (1996)

[9]

Uzquiano G., Models of second-order Zermelo set theory, Bull Symbolic Logic, 5, pp. 289-302, (1999)

← 1 →