Caltech Home > PMA Home > Master Calendar > Logic Seminar
open search form
Wednesday, October 28, 2020
12:00 PM - 1:00 PM
Online Event

Logic Seminar

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 mathinfo@caltech.edu or visit https://caltech.zoom.us/j/89937794322?pwd=d2kzZEkrSWo0QW93RWdJMnVucE83Zz09.