Event Detail

Fri Sep 11, 2009
60 Evans Hall
4:10–6 PM
Logic Colloquium
Theodore A. Slaman (UC Berkeley)
Degree Invariant Functions

We will discuss the issues surrounding Martin’s conjectured characterization of the functions on reals which are invariant with respect to Turing degree. We will give a recent application, obtained jointly with Montalban and Reimann, to the question of whether Turing equivalence is universal among countable Borel equivalence relations.