 Effective descriptive set theory

Effective descriptive set theory is a branch of mathematical logic that combines aspects of descriptive set theory—a field concerned with the study of "well-behaved" sets of real numbers or points in Polish spaces—with computational aspects that come from recursion theory or computability theory. In traditional descriptive set theory, sets are studied based on properties like Borel sets, analytic sets, and coanalytic sets, primarily focusing on their topological and measure-theoretic properties.