Open Access
2001 Broadening the Iterative Conception of Set
Mark F. Sharlow
Notre Dame J. Formal Logic 42(3): 149-170 (2001). DOI: 10.1305/ndjfl/1063372198


The iterative conception of set commonly is regarded as supporting the axioms of Zermelo-Fraenkel set theory (ZF). This paper presents a modified version of the iterative conception of set and explores the consequences of that modified version for set theory. The modified conception maintains most of the features of the iterative conception of set, but allows for some non-wellfounded sets. It is suggested that this modified iterative conception of set supports the axioms of Quine's set theory NF.


Download Citation

Mark F. Sharlow. "Broadening the Iterative Conception of Set." Notre Dame J. Formal Logic 42 (3) 149 - 170, 2001.


Published: 2001
First available in Project Euclid: 12 September 2003

zbMATH: 1034.03052
MathSciNet: MR2010179
Digital Object Identifier: 10.1305/ndjfl/1063372198

Primary: 00A30
Secondary: 03E70

Keywords: iterative conception of set , NF , non-wellfounded sets

Rights: Copyright © 2001 University of Notre Dame

Vol.42 • No. 3 • 2001
Back to Top