projective determinacy

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkbp:consistencyStrength large cardinals
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label projective determinacy
gptkbp:implies all projective sets are Lebesgue measurable
all projective sets have the perfect set property
all projective sets have the property of Baire
gptkbp:introducedIn 20th century
gptkbp:isWeakerThan gptkb:axiom_of_determinacy
full axiom of determinacy
gptkbp:relatedTo gptkb:projective_sets
determinacy
gptkbp:status independent of ZFC
gptkbp:studiedBy gptkb:Donald_A._Martin
gptkb:John_R._Steel
gptkbp:usedIn gptkb:descriptive_set_theory
gptkbp:bfsParent gptkb:Axiom_of_determinacy
gptkbp:bfsLayer 6