Wednesday, October 28, 2020

12:00 PM -
1:00 PM

Online Event

# Logic Seminar

Series: Logic Seminar Series

From recursively presented metric spaces to recursive Polish spaces

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.

Event Sponsors:

For more information, please contact Math Department by phone at 626-395-4335 or by email at mathinfo@caltech.edu or visit https://caltech.zoom.us/j/89937794322?pwd=d2kzZEkrSWo0QW93RWdJMnVucE83Zz09.