Independence Results for Class Forms of the Axiom of Choice
Howard, Paul E. ; Rubin, Arthur L. ; Rubin, Jean E.
J. Symbolic Logic, Tome 43 (1978) no. 1, p. 673-684 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Let NBG be von Neumann-Bernays-Godel 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.
Publié le : 1978-12-14
Classification:  
@article{1183740314,
     author = {Howard, Paul E. and Rubin, Arthur L. and Rubin, Jean E.},
     title = {Independence Results for Class Forms of the Axiom of Choice},
     journal = {J. Symbolic Logic},
     volume = {43},
     number = {1},
     year = {1978},
     pages = { 673-684},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740314}
}

Howard, Paul E.; Rubin, Arthur L.; Rubin, Jean E. Independence Results for Class Forms of the Axiom of Choice. J. Symbolic Logic, Tome 43 (1978) no. 1, pp.  673-684. http://gdmltest.u-ga.fr/item/1183740314/