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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Projective sets
|