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 [email protected] or visit https://caltech.zoom.us/j/89937794322?pwd=d2kzZEkrSWo0QW93RWdJMnVucE83Zz09.