Caltech Logo

Logic Seminar

Wednesday, October 28, 2020
12:00pm to 1:00pm
Add to Cal
Online Event
From recursively presented metric spaces to recursive Polish spaces
Tyler Arant, Department of Mathematics, UCLA,

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.

For more information, please contact Math Department by phone at 626-395-4335 or by email at [email protected] or visit