Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:definedIn |
Projective Hierarchy
|
| gptkbp:field |
gptkb:Set_Theory
|
| gptkbp:hasSubgroup |
Borel Sets
|
| https://www.w3.org/2000/01/rdf-schema#label |
Projective Sets
|
| gptkbp:importantFor |
gptkb:Axiom_of_Choice
gptkb:Continuum_Hypothesis Large Cardinals Determinacy |
| gptkbp:includes |
Analytic Sets
Coanalytic Sets |
| gptkbp:level |
Pi-1-1
Pi-1-2 Sigma-1-1 Sigma-1-2 |
| gptkbp:namedFor |
gptkb:Mikhail_Suslin
|
| gptkbp:property |
Closure under Complementation
Closure under Continuous Images Closure under Countable Intersections Closure under Countable Unions Closure under Preimages |
| gptkbp:relatedTo |
gptkb:Descriptive_Set_Theory
Measurability Baire Property Luzin Sets Perfect Set Property Separation Principle Souslin Sets Uniformization Wadge Hierarchy |
| gptkbp:studiedIn |
Polish Spaces
|
| gptkbp:bfsParent |
gptkb:Projective_Determinacy
|
| gptkbp:bfsLayer |
8
|