projective sets

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application gptkb:logic
gptkb:topology
real analysis
gptkbp:definedIn gptkb:projective_hierarchy
gptkbp:field gptkb:set_theory
gptkbp:higherLevels alternating quantifiers over reals
https://www.w3.org/2000/01/rdf-schema#label projective sets
gptkbp:importantFor closure under complements
closure under continuous images
closure under countable intersections
closure under countable unions
closure under projections
gptkbp:level analytic sets
gptkbp:relatedTo gptkb:Borel_sets
gptkb:axiom_of_determinacy
axiom of choice
large cardinals
analytic sets
coanalytic sets
gptkbp:secondLevelDomains coanalytic sets
gptkbp:studiedBy gptkb:Kuratowski
gptkb:Gödel
gptkb:Luzin
gptkb:Moschovakis
gptkb:Suslin
gptkbp:studiedIn gptkb:descriptive_set_theory
gptkbp:subclassOf definable sets
gptkbp:bfsParent gptkb:descriptive_set_theory
gptkbp:bfsLayer 6