- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
Journal of Symbolic Logic 37 (4):721-743 (1972)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Review: Andrzej Mostowski, On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (3):542-542.
Algebraic completion without the axiom of choice.Jørgen Harmse - 2022 - Mathematical Logic Quarterly 68 (4):394-397.
The finiteness of compact Boolean algebras.Paul Howard - 2011 - Mathematical Logic Quarterly 57 (1):14-18.
A completeness theorem for Zermelo-Fraenkel set theory.William C. Powell - 1976 - Journal of Symbolic Logic 41 (2):323-327.
Global quantification in zermelo-Fraenkel set theory.John Mayberry - 1985 - Journal of Symbolic Logic 50 (2):289-301.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
The Fraenkel-Mostowski Method for Independence Proofs in Set Theory.J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard - 1975 - Journal of Symbolic Logic 40 (4):631-631.
On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
Mostowski Andrzej. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility. Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 , pp. 135–144. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (3):542-542.
Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory.Toshiyasu Arai - 2014 - Journal of Symbolic Logic 79 (2):325-354.
Analytics
Added to PP
2009-01-28
Downloads
29 (#568,790)
6 months
12 (#242,943)
2009-01-28
Downloads
29 (#568,790)
6 months
12 (#242,943)
Historical graph of downloads
Citations of this work
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.
Some implications of Ramsey Choice for families of $$\varvec{n}$$ -element sets.Lorenz Halbeisen & Salome Schumacher - 2023 - Archive for Mathematical Logic 62 (5):703-733.
On Ramsey choice and partial choice for infinite families of n -element sets.Lorenz Halbeisen & Eleftherios Tachtsis - 2020 - Archive for Mathematical Logic 59 (5-6):583-606.
On the minimal cover property and certain notions of finite.Eleftherios Tachtsis - 2018 - Archive for Mathematical Logic 57 (5-6):665-686.
MA(ℵ0) restricted to complete Boolean algebras and choice.Eleftherios Tachtsis - 2021 - Mathematical Logic Quarterly 67 (4):420-431.
References found in this work
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-sz9d2 uwo