Meeting Details

Title: Turing equivalence as a Borel equivalence relation Logic Seminar Jake Pardo, Pennsylvania State University The talk first presents some important facts on countable Borel equivalence relations. Feldman and Moore showed that any such relation is obtained as the orbit equivalence of some countable group action. This yields, among other things, the existence of a universal countable Borel equivalence relation. The second part then covers a result due to Slaman and Steel: Turing equivalence is not hyperfinite, or, equivalently, it is not generated by a Z-action.

Room Reservation Information

Room Number: MB315 10 / 23 / 2012 02:30pm - 03:45pm