Effective descriptive set theory is a branch of mathematical logic that combines aspects of descriptive set theorya 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 (0)

There are currently no matching articles.