Descriptive set theory

Descriptive set theory is the study of definable sets of real numbers — the sets that can be constructed from open intervals using countable unions, countable intersections, and projections. It is the branch of mathematics that asks: if we restrict ourselves to sets that can be explicitly described, what regularity properties must they have? And it is the field where the conflict between the Axiom of Choice and the Axiom of Determinacy plays out most vividly.

The central objects of descriptive set theory are the Borel sets, the analytic sets (continuous images of Borel sets), and the projective hierarchy built from them by alternating projection and complementation. In ZFC, the projective hierarchy quickly escapes our control: ZFC cannot prove that projective sets are Lebesgue measurable, cannot prove they have the Baire property, and leaves basic structural questions undecidable.

The Axiom of Determinacy changes this landscape entirely. Under AD, every projective set is measurable, has the Baire property, and contains a perfect subset if uncountable. The pathologies that Choice permits are precisely the pathologies that Determinacy forbids. Descriptive set theory is thus the empirical laboratory in which we test the consequences of different foundational axioms on the concrete structure of the real numbers.