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.