axiom of choice
type: Item
Wikidata QID: Q179692
NDL Authority ID: 00570783
topic's main category: Category:Axiom of choice
Freebase ID: /m/0k1r
instance of: axiom of set theory
Commons category: Axiom of choice
MathWorld ID: AxiomofChoice
Encyclopædia Britannica Online ID: topic/axiom-of-choice
GND ID: 4143673-8
Mathematics Subject Classification ID: 03E25
Quora topic ID: Axiom-of-Choice
JSTOR topic ID: axiom-of-choice
Stanford Encyclopedia of Philosophy ID: axiom-choice
Great Russian Encyclopedia Online ID: 2336033
said to be the same as: Zorn's lemma
said to be the same as: well-ordering theorem
said to be the same as: Tarski's theorem
said to be the same as: Hausdorff maximal principle
said to be the same as: Krull's theorem
said to be the same as: Tychonoff's theorem
said to be the same as: Teichmüller–Tukey lemma
said to be the same as: König's theorem
PhilPapers topic: the-axiom-of-choice
ProofWiki ID: Axiom:Axiom_of_Choice
defining formula: ( ∀ i ∈ I : S i ≠ ∅ ) ⟹ ∏ i ∈ I S i ≠ ∅
Microsoft Academic ID: 151797676
generalization of: equivalent of the axiom of choice
generalization of: Zorn's lemma
nLab ID: axiom of choice
nLab ID: axiom%20of%20choice
Library of Congress authority ID: sh85010586
National Library of Israel J9U ID: 987007282446705171
OpenAlex ID: C151797676
Den Store Danske ID: udvalgsaksiomet
Stack Exchange tag: axiom-of-choice
Online PWN Encyclopedia ID: 3998640
on focus list of Wikimedia project: Wikipedia:Vital articles/Level/4
short name: AC
short name: AE @ca
short name: АИ @sr-ec
short name: AI @sr-el
time of discovery or invention: 1904-01-01T00:00:00Z
discoverer or inventor: Ernst Zermelo
ScienceDirect topic ID: mathematics/axiom-of-choice
Great Russian Encyclopedia portal ID: aksioma-vybora-8031da
Brilliant Wiki ID: axiom-of-choice
Encyclopedia of Mathematics wiki ID: Axiom_of_choice
Treccani's Enciclopedia della Matematica ID: assioma-della-scelta
in defining formula: I
in defining formula: S
in defining formula: ∅
part of: list of theorems
part of: list of axioms
studied in: set theory
Metamath statement ID: ax-ac
NE.se ID: urvalsaxiomet
Lexikon der Mathematik entry ID: 390
label: Auswahlaxiom @de
description: statement that the product of a collection of non-empty sets is non-empty
description: Axiom der Mengenlehre @de
alternative label: AC