Event Detail
Fri Sep 11, 200960 Evans Hall — 4:10 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.