Axiom of global choice

In mathematics, specifically in class theories, the axiom of global choice is a stronger variant of the axiom of choice that applies to proper classes of sets as well as sets of sets. Informally it states that one can simultaneously choose an element from every non-empty set.

## Statement

The axiom of global choice states that there is a global choice function τ, meaning a function such that for every non-empty set z, τ(z) is an element of z.

The axiom of global choice cannot be stated directly in the language of Zermelo–Fraenkel set theory (ZF) with the axiom of choice (AC), known as ZFC, as the choice function τ is a proper class and in ZFC one cannot quantify over classes. It can be stated by adding a new function symbol τ to the language of ZFC, with the property that τ is a global choice function. This is a conservative extension of ZFC: every provable statement of this extended theory that can be stated in the language of ZFC is already provable in ZFC (Fraenkel Bar-Hillel). Alternatively, Gödel showed that given the axiom of constructibility one can write down an explicit (though somewhat complicated) choice function τ in the language of ZFC, so in some sense the axiom of constructibility implies global choice (in fact, [ZFC proves that] in the language extended by the unary function symbol τ, the axiom of constructibility implies that if τ is said explicitly definable function, then this τ is a global choice function. And then global choice morally holds, with τ as a witness).

In the language of von Neumann–Bernays–Gödel set theory (NBG) and Morse–Kelley set theory, the axiom of global choice can be stated directly (Fraenkel Bar-Hillel), and is equivalent to various other statements:

* Every class of nonempty sets has a choice function.
* V \ {∅} has a choice function (where V is the class of all sets).
* There is a well-ordering of V.
* There is a bijection between V and the class of all ordinal numbers.

In von Neumann–Bernays–Gödel set theory, global choice does not add any consequence about sets (not proper classes) beyond what could have been deduced from the ordinary axiom of choice.

Global choice is a consequence of the axiom of limitation of size.

## References

* Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel (1973), Foundations of set theory, Studies in Logic and the Foundations of Mathematics, 67 (Second revised ed.), Amsterdam-London: North-Holland Publishing Co., ISBN 978-0720422702, https://archive.org/details/foundationsofset0000frae
* Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
* John L. Kelley; General Topology; ISBN 0-387-90125-6

* v
* t
* e

Mathematical logic

General|

* Formal language
* Formation rule
* Formal proof
* Formal semantics
* Well-formed formula
* Set
* Element
* Class
* Classical logic
* Axiom
* Rule of inference
* Relation
* Theorem
* Logical consequence
* Type theory
* Symbol
* Syntax
* Theory

Systems|

* Formal system
* Deductive system
* Axiomatic system
* Hilbert style systems
* Natural deduction
* Sequent calculus

Traditional logic|

* Proposition
* Inference
* Argument
* Validity
* Cogency
* Syllogism
* Square of opposition
* Venn diagram

Propositional calculus
and Boolean logic

* Boolean functions
* Propositional calculus
* Propositional formula
* Logical connectives
* Truth tables
* Many-valued logic

Predicate logic|

* First-order
* Quantifiers
* Predicate
* Second-order
* Monadic predicate calculus

Naive set theory|

* Set
* Empty set
* Element
* Enumeration
* Extensionality
* Finite set
* Infinite set
* Subset
* Power set
* Countable set
* Uncountable set
* Recursive set
* Domain
* Codomain
* Image
* Map
* Function
* Relation
* Ordered pair

Set theory|

* Foundations of mathematics
* Zermelo–Fraenkel set theory
* Axiom of choice
* General set theory
* Kripke–Platek set theory
* Von Neumann–Bernays–Gödel set theory
* Morse–Kelley set theory
* Tarski–Grothendieck set theory

Model theory|

* Model
* Interpretation
* Non-standard model
* Finite model theory
* Truth value
* Validity

Proof theory|

* Formal proof
* Deductive system
* Formal system
* Theorem
* Logical consequence
* Rule of inference
* Syntax

Computability
theory|

* Recursion
* Recursive set
* Recursively enumerable set
* Decision problem
* Church–Turing thesis
* Computable function
* Primitive recursive function

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Axiom of global choice. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Axiom_of_global_choice&oldid=301135"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template