Suslin operation

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:A-operation
gptkbp:appliesTo families of sets
gptkbp:category operation on sets
gptkbp:defines Given a family of sets indexed by finite sequences of natural numbers, the Suslin operation produces a set by taking the union over all infinite sequences of the intersection over all initial segments.
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Suslin operation
gptkbp:introducedIn 1917
gptkbp:namedAfter gptkb:Mikhail_Suslin
gptkbp:purpose to generate analytic sets
gptkbp:relatedTo gptkb:analytic_set
Borel set
gptkbp:usedIn gptkb:descriptive_set_theory
gptkbp:bfsParent gptkb:Mikhail_Suslin
gptkbp:bfsLayer 7