Extensionality in Zermelo‐Fraenkel Set Theory

Mathematical Logic Quarterly 32 (1-5):51-60 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860320107

Links

PhilArchive



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

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

On the axiom of extensionality in the positive set theory.Olivier Esser - 2003 - Mathematical Logic Quarterly 49 (1):97-100.
Extensionality in Zermelo‐Fraenkel Set Theory.R. Hinnion - 1986 - Mathematical Logic Quarterly 32 (1‐5):51-60.
An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory.Olivier Esser - 1997 - Mathematical Logic Quarterly 43 (3):369-377.
Constructive Zermelo–Fraenkel set theory and the limited principle of omniscience.Michael Rathjen - 2014 - Annals of Pure and Applied Logic 165 (2):563-572.
A linear conservative extension of zermelo-Fraenkel set theory.Masaru Shirahata - 1996 - Studia Logica 56 (3):361 - 392.
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.
Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory.Michael Rathjen - 2005 - Annals of Pure and Applied Logic 136 (1-2):156-174.
Gesammelte Abhandlungen Mathematischen Und Philosophischen Inhalts, Mit Erläuternden Anmerkungen Sowie Mit Ergänzungen Aus Dem Briefwechsel Cantor-Dedekind, Herausgegeben von Ernst Zermelo. Nebst Einem Lebenslauf Cantors von Adolf Fraenkel.Georg Cantor, Richard Dedekind, Ernst Zermelo & Abraham Adolf Fraenkel - 1932 - G. Olms.
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
Constructive notions of set: Part I. Sets in Martin–Löf type theory.Laura Crosilla - 2005 - Annali Del Dipartimento di Filosofia 11:347-387.
The ∀n∃‐Completeness of Zermelo‐Fraenkel Set Theory.Daniel Gogol - 1978 - Mathematical Logic Quarterly 24 (19‐24):289-290.
Global quantification in zermelo-Fraenkel set theory.John Mayberry - 1985 - Journal of Symbolic Logic 50 (2):289-301.
The finiteness of compact Boolean algebras.Paul Howard - 2011 - Mathematical Logic Quarterly 57 (1):14-18.
Elementary Equivalence and Constructible Models of Zermelo‐Fraenkel Set Theory.R. H. Cowen - 1976 - Mathematical Logic Quarterly 22 (1):333-338.
On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.

Analytics

Added to PP
2015-12-02

Downloads
32 (#504,058)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Choice again.Stephen Pollard - 1992 - Philosophical Studies 66 (3):285 - 296.

Add more citations

References found in this work

On the axiom of extensionality, part II.R. O. Gandy - 1959 - Journal of Symbolic Logic 24 (4):287-300.

Add more references