Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory

Journal of Symbolic Logic 29 (2):107-107 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270434

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

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

Through your library

My notes

Similar books and articles

Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):107-107.
On Zermelo's and von Neumann's Axioms for Set Theory.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):70-71.
Some Proofs of Independence in Axiomatic Set Theory.Elliott Mendelson - 1958 - Journal of Symbolic Logic 23 (1):42-44.
Some proofs of independence in axiomatic set theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.
Mendelson Elliott. Some proofs of independence in axiomatic set theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
Review: Elliott Mendelson, Some Proofs of Independence in Axiomatic Set Theory. [REVIEW]Dana Scott - 1958 - Journal of Symbolic Logic 23 (1):42-44.
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. [REVIEW]Ww Tait - 1998 - 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.
Wang Hao. On Zermelo's and von Neumann's axioms for set theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 35 , pp. 150–155. [REVIEW]John G. Kemeny - 1950 - Journal of Symbolic Logic 15 (1):70-71.
An axiomatic foundation of relativistic spacetime.Thomas Benda - 2015 - Synthese 192 (7):1-16.
On Zermelo's Set-Theory and the Simple Type-Theory with the Axiom of Infinity.Tadahiro Uesu - 1968 - Journal of Symbolic Logic 33 (2):292-293.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,644,318)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references