9.3 Descriptive Set Theory
Descriptive set theory studies definable subsets of spaces such as the real line, the Baire space, and the Cantor space, and its main goal is to understand how the complexity of a set is related to the way the set can be described. The subject begins with topological spaces that are rich enough to support analysis but structured enough to allow precise classification, and the central examples are spaces whose...