Axiom of determinacy

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:abbreviation gptkb:AD
gptkbp:consistentRelativeTo gptkb:large_cardinal_axioms
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Axiom of determinacy
gptkbp:implies all sets of reals are Lebesgue measurable
all sets of reals have the perfect set property
all sets of reals have the property of Baire
gptkbp:introducedIn 1960s
gptkbp:opposedBy axiom of choice
gptkbp:relatedTo gptkb:axiom_of_real_determinacy
gptkb:projective_determinacy
axiom of choice
gptkbp:state Every infinite two-player game of perfect information where players choose natural numbers is determined
gptkbp:usedIn gptkb:descriptive_set_theory
gptkbp:bfsParent gptkb:Axiom_of_Choice
gptkbp:bfsLayer 5