Axiom of global choice
From Wikipedia, the free encyclopedia
In class theories, the axiom of global choice is a stronger variant of the axiom of choice which applies to proper classes as well as sets. It can be expressed in various ways which are only apparently different.
"Weak" form: Every class of nonempty sets has a choice function.
"Strong" form: Every collection of nonempty classes has a choice function. (Restrict the possible choices in each class to the subclass of sets of minimal rank in the class. This subclass is a set. The collection of such sets is a class.)
V - { {} } has a choice function (where V is the class of all sets).
There is a well-ordering of V.
[edit] See also
- Axiom of choice
- Axiom of limitation of size
- Von Neumann–Bernays–Gödel set theory
- Morse–Kelley set theory
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
