Souslin sets

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs analytic sets
gptkbp:defines A subset of a Polish space that is the continuous image of a Borel set
gptkbp:example The Cantor set is a Souslin set
The set of irrational numbers is a Souslin set
The set of real numbers is a Souslin set
gptkbp:field gptkb:set_theory
gptkbp:generalizes gptkb:Borel_sets
gptkbp:hasSubgroup gptkb:Polish_space
https://www.w3.org/2000/01/rdf-schema#label Souslin sets
gptkbp:importantFor gptkb:descriptive_set_theory
gptkbp:namedAfter gptkb:Mikhail_Yakovlevich_Souslin
gptkbp:property Souslin sets are closed under countable intersections
Souslin sets are closed under inverse continuous images
Every Borel set is a Souslin set
Not every Souslin set is Borel
Souslin sets are closed under continuous images
Souslin sets are closed under countable unions
gptkbp:relatedTo gptkb:Borel_sets
gptkb:projective_sets
gptkbp:studiedBy gptkb:Mikhail_Yakovlevich_Souslin
gptkbp:bfsParent gptkb:Souslin_operation
gptkbp:bfsLayer 7