Classical versions of effective Borel uniformizations

Vassilios Gregoriades (National and Technical U of Athens)

Jul 03. 2025, 11:30 — 12:15

One of the most prominent applications of effective descriptive set theory is on the problem of uniformizing Borel sets by a Borel one. This is done by establishing (under some hypotheses) the existence of sufficiently definable points in the intersections of the given Borel set and by applying a general effective uniformization criterion. However strong the latter might be, it requires a solid recursion-theoretic background. We present a new approach to this topic, where recursion theory is reformulated in purely classical terms. This enables us to prove established facts in classical descriptive set theory using the effective ideas in a recursion-free language. Some examples include a classical version of the Effective Perfect Set Theorem and the Borel uniformization of a Borel set with countable sections. This talk is on joint ongoing work with Cordelia Tassopoulou.

Further Information
Venue:
ESI Schrödinger and Boltzmann Lecture Hall
Associated Event:
Reverse Mathematics (Thematic Programme)
Organizer(s):
Juan Aguilera (TU Vienna)
Linda Brown Westrick (Penn State U)
Noam Greenberg (Victoria U of Wellington)
Denis Hirschfeldt (U of Chicago)