Properties (47)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Architect
|
| gptkbp:description |
levels of complexity of sets
|
| gptkbp:divisions |
complementation
countable intersections countable unions |
| https://www.w3.org/2000/01/rdf-schema#label |
Borel hierarchy
|
| gptkbp:includes |
Borel_sets
|
| gptkbp:introduced |
gptkb:Émile_Borel
|
| gptkbp:is_a_subject_of |
theoretical computer science
set theory category theory mathematical logic philosophy of mathematics topology mathematical research computability theory functional analysis measure theory real analysis foundations of mathematics set-theoretic topology |
| gptkbp:is_a_tool_for |
analyzing functions
analyzing operations analyzing relations |
| gptkbp:is_characterized_by |
Borel_measurable_functions
Borel_equivalence_relations Borel_measurable_sets |
| gptkbp:is_recognized_for |
Polish_spaces
|
| gptkbp:is_used_in |
analysis
logic topological spaces probability theory descriptive set theory measurable sets Borel hierarchy of functions Borel_isomorphism Borel_cardinality Borel_completeness Borel_equivalence Borel_hierarchy_of_relations Borel_reducibility |
| gptkbp:related_to |
gptkb:Cantor's_theorem
continuum hypothesis Lebesgue measure analytic sets Zorn's lemma projective hierarchy |