Independence results for class forms of the axiom of choice

, &
Journal of Symbolic Logic 43 (4):673-684 (1978)
  Copy   BIBTEX

Abstract

Let NBG be von Neumann-Bernays-Gödel set theory without the axiom of choice and let NBGA be the modification which allows atoms. In this paper we consider some of the well-known class or global forms of the wellordering theorem, the axiom of choice, and maximal principles which are known to be equivalent in NBG and show they are not equivalent in NBGA

Categories

Keywords

Reprint years

DOI

10.2307/2273507

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Łoś's theorem and the axiom of choice.Eleftherios Tachtsis - 2019 - Mathematical Logic Quarterly 65 (3):280-292.
Multiple choices imply the ingleton and krein–milman axioms.Marianne Morillon - 2020 - Journal of Symbolic Logic 85 (1):439-455.
On Hausdorff operators in ZF$\mathsf {ZF}$.Kyriakos Keremedis & Eleftherios Tachtsis - 2023 - Mathematical Logic Quarterly 69 (3):347-369.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Paul Howard and Jean E. Rubin. Consequences of the axiom of choice, Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence, RI, 1998, viii + 432 pp. [REVIEW]Andreas Blass - 2005 - Bulletin of Symbolic Logic 11 (1):61-63.
Determinate logic and the Axiom of Choice.J. P. Aguilera - 2020 - Annals of Pure and Applied Logic 171 (2):102745.
EM + Ext− + ACint is equivalent to ACext.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236-240.
Herman Rubin and Jean E. Rubin. Equivalents of the axiom of choice, II. Studies in logic and the foundations of mathematics, vol. 116. North-Holland, Amsterdam, New York, and Oxford, 1985, xxviii + 322 pp. [REVIEW]David Pincus - 1987 - Journal of Symbolic Logic 52 (3):867-869.
Labelling classes by sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.

Analytics

Added to PP
2009-01-28

Downloads
91 (#230,848)

6 months
8 (#583,676)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Possible Patterns.Jeffrey Sanford Russell & John Hawthorne - 2018 - Oxford Studies in Metaphysics 11.
Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.
Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.

Add more citations

References found in this work

Add more references