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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,659

External links

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

Through your library

Similar books and articles

Łoś's theorem and the axiom of choice.Eleftherios Tachtsis - 2019 - Mathematical Logic Quarterly 65 (3):280-292.
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.
EM + Ext_ + AC~i~n~t is equivalent to AC~e~x~t.Jesper Carlström - 2004 - Mathematical Logic Quarterly 50 (3):236.
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.

Analytics

Added to PP
2009-01-28

Downloads
82 (#202,771)

6 months
19 (#182,076)

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