Descriptive set theory

Descriptive set theory
Name	Descriptive set theory
Discipline	Mathematical logic
Subdiscipline	Set theory
Notable people	Kurt Gödel, Wacław Sierpiński, Nikolai Luzin, Witold Hurewicz, John von Neumann, André Weil, Felix Hausdorff, Henri Lebesgue, André Weil, Stefan Banach, Émile Borel, Miklós Rényi, Donald A. Martin, Yiannis N. Moschovakis, Hugh Woodin, W. Hugh Woodin, Harvey Friedman, Dana Scott, Robert M. Solovay

Descriptive set theory is the study of definable sets and functions in Polish spaces and other topological spaces, focusing on hierarchies, regularity, and definability under logical and set-theoretic hypotheses. It connects methods from topology, measure theory, combinatorics, and recursion theory to analyze complexity of sets of real numbers and related spaces. Development of the field involves contributions from 20th and 21st century figures and interacts with areas such as model theory, computability, and ergodic theory.

Foundations

Foundational work traces to Émile Borel, Henri Lebesgue, Felix Hausdorff, Nikolai Luzin, Wacław Sierpiński and Mikolaj Sierpinski in early 20th century analysis and topology, with later formalization influenced by Kurt Gödel, John von Neumann, Stefan Banach and André Weil. The setting typically uses Polish spaces such as the Baire space and Cantor space connected to constructions from Georg Cantor and classical topology in Hausdorff's tradition; foundational axioms include fragments of Zermelo–Fraenkel set theory and additional principles like the Axiom of Choice or axioms of determinacy studied by Donald A. Martin and Robert M. Solovay. Early systematic expositions were shaped by schools around Nikolai Luzin and later by researchers such as Wacław Sierpiński and Miklós Rényi.

Classical theory

Classical theory analyzes Borel sets, analytic sets, and coanalytic sets in contexts pioneered by Luzin and Suslin with key results like the Separation Theorem, Reduction Theorem, and the Souslin operation; influential contributors include Witold Hurewicz, Émile Borel, Felix Hausdorff, and André Weil. The study employs tools from measure theory developed by Henri Lebesgue and integration theory linked to S. Banach and functional analysis from John von Neumann. Fundamental classification uses the Borel hierarchy (levels indexed by countable ordinals) and projective hierarchy as developed in works influenced by Kurt Gödel's constructible universe and later refinements by Yiannis N. Moschovakis and Harvey Friedman.

Effective and lightface hierarchies

Effective descriptive set theory integrates recursion theory from Alan Turing, Alonzo Church, and Kurt Gödel with the lightface hierarchies introduced by Stephen Kleene and elaborated by Yiannis N. Moschovakis and Hugh Woodin. Lightface Borel and projective hierarchies relate to degrees of unsolvability studied by Emil Post and priority method developments connected to Richard M. Friedberg and Albert M. Harrington. Computable analysis and the study of hyperarithmetic sets use concepts from S. C. Kleene and the hyperarithmetical hierarchy, interacting with recursion-theoretic frameworks in the tradition of Dana Scott and John Myhill.

Regularity properties and determinacy

Regularity properties such as the Baire property, Lebesgue measurability, and the perfect set property are central, with consistency and independence results tied to large cardinal hypotheses studied by Kurt Gödel, Paul Cohen, W. Hugh Woodin, and Robert M. Solovay. Determinacy principles, notably Borel determinacy proved by Donald A. Martin and projective determinacy developed via work of Donald A. Martin and John R. Steel, connect to inner model theory and large cardinals including measurable and Woodin cardinals in research by Hugh Woodin and William J. Mitchell. These interactions involve deep links to forcing techniques from Paul Cohen and inner model constructions influenced by Jensen, Mitchell, and Steel.

Applications and connections

Applications extend to ergodic theory and measurable dynamics studied by Eberhard Hopf and Anatole Katok, to model theory and classification theory influenced by Saharon Shelah and Wilfrid Hodges, and to combinatorics and graph theory through Borel combinatorics by André Kechris and collaborators. Connections reach probability theory via André Weil-style harmonic analysis, to functional analysis and operator algebras in the spirit of John von Neumann and Israel Gelfand, and to computable structure theory shaped by Harvey Friedman and Simpson's reverse mathematics program. Cross-disciplinary impact includes descriptive set theoretic methods in dynamical systems research of Stephen Smale and classification problems in operator algebras associated with Alain Connes.

Advanced topics and generalizations

Advanced topics cover effective descriptive set theory, determinacy axioms and their consistency strength involving large cardinals such as measurable, supercompact, and Woodin cardinals studied by W. Hugh Woodin, inner model theory from John R. Steel and Jensen, and generalizations to non-Polish spaces investigated by researchers connected to Moti Gitik and Itay Neeman. Higher descriptive set theory explores definability in spaces of higher cardinality and connections with the generalized continuum hypothesis examined by Kurt Gödel and Paul Cohen. Modern research programs involve structural dichotomies, tree representations and scales associated with Yiannis N. Moschovakis, and applications to classification theory and effective mathematics pursued by Greg Hjorth, Alexandre Louveau, Clifford S. Sunkist and many contemporary specialists.

Category:Set theory