Logic Seminar

Beyond the Baire space, recursively presented metric spaces are structures which serve as a setting for effective descriptive set theory. Motivated by the classical distinction between a complete separable metric space and its corresponding Polish space topological structure, we will explore the notions and issues involved in moving from a recursively presented metric space to its effective Polish space structure. We will survey different approaches to these issues, in particular work by Moschovakis on recursive frames and work by Louveau on effective topology, and prove some original results which clarify some foundational problems in the area.