Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
functional analysis
theoretical computer science real analysis |
| gptkbp:concerns |
gptkb:Borel_sets
gptkb:projective_sets analytic sets |
| gptkbp:fieldOfStudy |
gptkb:mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
descriptive set theory
|
| gptkbp:notableContributor |
gptkb:Felix_Hausdorff
gptkb:Wacław_Sierpiński gptkb:André_Lusin gptkb:Nikolai_Luzin gptkb:Mikhail_Suslin |
| gptkbp:originatedIn |
early 20th century
|
| gptkbp:relatedTo |
classical set theory
effective descriptive set theory |
| gptkbp:studies |
gptkb:Luzin_hierarchy
gptkb:Polish_spaces gptkb:Souslin_operation gptkb:Wadge_hierarchy gptkb:projective_hierarchy gptkb:standard_Borel_spaces gptkb:homogeneous_spaces classification problems reducibility universality descriptive complexity determinacy Baire property Lebesgue measurability analytic hierarchy classification of sets by complexity coanalytic sets definable functions definable sets of real numbers equivalence relations hierarchies of definable sets hierarchies such as the Borel hierarchy invariant descriptive set theory measurability perfect set property pointclasses regularity properties sets in Polish spaces universally measurable sets |
| gptkbp:uses |
gptkb:logic
gptkb:topology measure theory |
| gptkbp:bfsParent |
gptkb:Set_Theory
gptkb:Set_theory gptkb:Itay_Neeman |
| gptkbp:bfsLayer |
5
|