Zermelo (1930) is concerned with impredicative second-order set theory. He treats the general case of set theory with urelements, but it will be enough to consider only the case of pure set theory, ie without urelements. In this context, Zermelo's theory is the axiomatic second-order theory T2 in the language of pure set theory whose axioms are Extensionality, Regu [Book Review]

In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 469 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
Categoricity theorems and conceptions of set.Gabriel Uzquiano - 2002 - Journal of Philosophical Logic 31 (2):181-196.
The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
A Single Axiom for Set Theory.David Bennett - 2000 - Notre Dame Journal of Formal Logic 41 (2):152-170.
Slim models of zermelo set theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.

Analytics

Added to PP
2014-02-01

Downloads
15 (#950,500)

6 months
2 (#1,204,205)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.
Zermelo: definiteness and the universe of definable sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.
In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.
Reply to Crispin Wright and Richard Zach.Ian Rumfitt - 2018 - Philosophical Studies 175 (8):2091-2103.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references