Effective descriptive set theory

Effective descriptive set theory is a branch of mathematics that studies complex sets, particularly those that can be described or constructed using algorithms, within the context of logic and computation. It focuses on understanding how these sets can be defined, classified, and analyzed based on their computability properties. Essentially, it combines ideas from set theory with notions of effective procedures to explore the structure and complexity of mathematical objects, helping us understand which sets can be explicitly described and how they relate to notions of computation and definability.