Statements (90)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:concerns |
gptkb:dictionary
determinacy hierarchies of definable sets measurability |
| gptkbp:field |
gptkb:logic
gptkb:set_theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Descriptive Set Theory
|
| gptkbp:notableContributor |
gptkb:Felix_Hausdorff
gptkb:Kazimierz_Kuratowski gptkb:Wacław_Sierpiński gptkb:André_Lusin gptkb:Donald_A._Martin gptkb:Robert_M._Solovay Jean Saint-Raymond Yuri L. Moschovakis |
| gptkbp:notableIdea |
gptkb:Borel_sets
gptkb:Souslin_operation gptkb:Wadge_hierarchy gptkb:projective_hierarchy gptkb:Effective_descriptive_set_theory gptkb:Polish_space gptkb:Uniformization_theorem gptkb:Luzin_set gptkb:Axiom_of_choice gptkb:Axiom_of_determinacy gptkb:Suslin_set gptkb:Inner_model_theory gptkb:Projective_sets gptkb:Borel_hierarchy gptkb:analytic_set Category theory Ergodic theory Forcing Measure theory meager set comeager set determinacy Baire property perfect set property Separation theorem Analytic sets Coanalytic sets Wadge reducibility Descriptive complexity Borel equivalence relation Analytic hierarchy Banach-Mazur game Borel determinacy Borel reducibility Classical descriptive set theory Coanalytic hierarchy Comeager set Countable section theorem Definable sets Descriptive inner model theory Effective hierarchy Invariant descriptive set theory Large cardinals Lusin set Lusin's separation theorem Lusin-Novikov theorem Martin's theorem Meager set Orbit equivalence Perfect set property Perfect set theorem Polish group action Projective determinacy Reduction theorem Shoenfield absoluteness theorem Silver dichotomy Suslin's theorem Universally measurable set Universally null set Vaught conjecture coanalytic set universally measurable set universally null set |
| gptkbp:relatedTo |
gptkb:topology
real analysis classical set theory |
| gptkbp:studies |
gptkb:Borel_sets
gptkb:Polish_spaces gptkb:projective_sets analytic sets definable sets of real numbers |
| gptkbp:bfsParent |
gptkb:Projective_Determinacy
gptkb:Yiannis_N._Moschovakis |
| gptkbp:bfsLayer |
8
|