axiom of determinacy

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:abbreviation gptkb:AD
gptkbp:consistentWith gptkb:ZF
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:inconsistentWith gptkb:ZFC
gptkbp:introducedIn 1960s
gptkbp:opposedBy axiom of choice
gptkbp:relatedTo gptkb:axiom_of_real_determinacy
gptkb:projective_determinacy
gptkbp:state every infinite two-player game of perfect information where players choose natural numbers is determined
gptkbp:bfsParent gptkb:ZFC
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
gptkbp:bfsLayer 6