RTG Logic and Dynamics seminar - Definable complexity of codes for Medvedev reductions - Kostas Beros (UNT) | Department of Mathematics

RTG Logic and Dynamics seminar - Definable complexity of codes for Medvedev reductions - Kostas Beros (UNT)

Event Information
Event Location: 
GAB 461
Event Date: 
Friday, February 24, 2017 - 2:00pm

In joint work with Achilles Beros, I examine the definable complexity of natural number codes for Medvedev reductions between some important classes of Turing degrees. I will give a thorough introduction to the Medvedev hierarchy on the Turing degrees and explain the context of our results. The talk will be readily accessible to grad students who have had a basic computability theory class.