Open Access
Translator Disclaimer
2003 Iteration One More Time
Roy T. Cook
Notre Dame J. Formal Logic 44(2): 63-92 (2003). DOI: 10.1305/ndjfl/1082637805


A neologicist set theory based on an abstraction principle (NewerV) codifying the iterative conception of set is investigated, and its strength is compared to Boolos's NewV. The new principle, unlike NewV, fails to imply the axiom of replacement, but does secure powerset. Like NewV, however, it also fails to entail the axiom of infinity. A set theory based on the conjunction of these two principles is then examined. It turns out that this set theory, supplemented by a principle stating that there are infinitely many nonsets, captures all (or enough) of standard second-order ZFC. Issues pertaining to the axiom of foundation are also investigated, and I conclude by arguing that this treatment provides the neologicist with the most viable reconstruction of set theory he is likely to obtain.


Download Citation

Roy T. Cook. "Iteration One More Time." Notre Dame J. Formal Logic 44 (2) 63 - 92, 2003.


Published: 2003
First available in Project Euclid: 21 April 2004

zbMATH: 1071.03038
MathSciNet: MR2060056
Digital Object Identifier: 10.1305/ndjfl/1082637805

Primary: 03E05

Keywords: abstraction , Infinity , logicism , Set theory

Rights: Copyright © 2003 University of Notre Dame


Vol.44 • No. 2 • 2003
Back to Top