Article contents
Independence results for class forms of the axiom of choice
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1978
References
REFERENCES
- 4
- Cited by