Projective sets

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:characterizedBy Continuous images of Borel sets
gptkbp:closed Continuous preimages
gptkbp:definedIn Projective hierarchy
gptkbp:field Descriptive set theory
gptkbp:hasSubgroup gptkb:Polish_space
https://www.w3.org/2000/01/rdf-schema#label Projective sets
gptkbp:importantFor Model theory
Real analysis
Set-theoretic topology
gptkbp:includes gptkb:Borel_sets
Analytic sets
Coanalytic sets
gptkbp:level Analytic sets
Projective hierarchy
gptkbp:namedFor gptkb:Mikhail_Suslin
gptkbp:notation Σ^1_n and Π^1_n
gptkbp:notClosedUnder Complements (at all levels)
gptkbp:relatedTo gptkb:Axiom_of_choice
gptkb:Axiom_of_determinacy
Descriptive set theory
gptkbp:secondLevelDomains Coanalytic sets
gptkbp:studiedIn gptkb:logic
gptkbp:bfsParent gptkb:Harrington's_Principle
gptkbp:bfsLayer 8