A completeness theorem for Zermelo-Fraenkel set theory

Journal of Symbolic Logic 41 (2):323-327 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200051379

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

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

The ∀n∃‐Completeness of Zermelo‐Fraenkel Set Theory.Daniel Gogol - 1978 - Mathematical Logic Quarterly 24 (19‐24):289-290.
The ∀ n∃‐Completeness of Zermelo‐Fraenkel Set Theory.Daniel Gogol - 1978 - Mathematical Logic Quarterly 24 (19-24):289-290.
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics.Christian Espíndola - 2016 - Notre Dame Journal of Formal Logic 57 (2):281-286.
Global quantification in zermelo-Fraenkel set theory.John Mayberry - 1985 - Journal of Symbolic Logic 50 (2):289-301.
Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory.Toshiyasu Arai - 2014 - Journal of Symbolic Logic 79 (2):325-354.
On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
An extension of a theorem of zermelo.Jouko Väänänen - 2019 - Bulletin of Symbolic Logic 25 (2):208-212.
The disjunction and related properties for constructive Zermelo-Fraenkel set theory.Michael Rathjen - 2005 - Journal of Symbolic Logic 70 (4):1233-1254.
The independence of Ramsey's theorem.E. M. Kleinberg - 1969 - Journal of Symbolic Logic 34 (2):205-206.

Analytics

Added to PP
2009-01-28

Downloads
58 (#355,062)

6 months
22 (#131,746)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.

Add more citations

References found in this work

Ackermann's set theory equals ZF.William N. Reinhardt - 1970 - Annals of Mathematical Logic 2 (2):189.

Add more references