Descriptive Set Theory in Topological Spaces

Descriptive set theory examines the structure and classification of definable sets within topological spaces, with a particular focus on Polish spaces—those that are separable and completely metrizable. At its core lies the Borel hierarchy, which organises sets by the complexity of operations needed to generate them from open sets via countable unions and intersections. Beyond Borel sets, analytic and co-analytic sets form the first level of the projective hierarchy, arising through continuous images and complements. This framework extends into higher projective levels, where operations of projection and complement successively yield new classes. The interplay between these hierarchies and topology has deep implications: from analysing orbit equivalence in dynamical systems and the measurability of multifunctions, to gauging the complexity of classification problems in logic and functional analysis. Recent work has also incorporated point-free techniques—locales and frames—to reinterpret definability in spaces without explicit points, thereby broadening the scope of classical descriptive methods. The global significance of these developments spans theoretical computer science, real analysis and the study of definable structures across mathematics.

Research from Nature Portfolio

No recent Nature Portfolio content available.

Descriptive Set Theory in Topological Spaces publication trend

The graph below shows the total number of articles in descriptive set theory in topological spaces across all publications each year (not limited to Nature Index journals).

Technical terms

Polish space: A separable, completely metrizable topological space.

Borel hierarchy: A nested classification of sets generated from open sets by countable unions and intersections.

Analytic set: A continuous image of a Polish space, forming the Σ₁¹ level of the projective hierarchy.

Projective hierarchy: Successive classes of sets obtained by projecting and complementing earlier classes, extending beyond the Borel levels.

Descriptive complexity: The study of relative definability and reducibility of sets or relations within hierarchies such as the Borel reducibility lattice.

Locale: A point-free topological structure defined by its lattice (frame) of open sets rather than by points.

Quotient locale: A locale formed by imposing additional relations on a frame, generalising topological quotients without reference to points.

References

1. Presenting Quotient Locales. Applied Categorical Structures (2023).
2. On the Borel Classes of Set-Valued Maps of Two Variables. Annales Mathematicae Silesianae (2020).
3. On the complexity of the uniform homeomorphism relation between separable Banach spaces. Transactions of the American Mathematical Society (2011).