Independence results for class forms of the axiom of choice
Journal of Symbolic Logic1978Vol. 43(4), pp. 673–684
Citations Over Time
Abstract
Abstract Let NBG be von Neumann-Bemays-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.
Related Papers
- → Independence results for class forms of the axiom of choice(1978)7 cited
- The Logical Analysis of the Martin Axiom(2000)
- → The axiom of choice(1983)
- → The Independence of a Strong Axiom of Choice(1962)
- ON THE AXIOM OF CHOICE IN A WELL-POINTED TOPOS(1996)