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.
Articles by others on the same topic
There are currently no matching articles.