When:
September 8, 2016 @ 1:30 pm – September 8, 2016 @ 2:30 pm
2016-09-08T13:30:00-10:00
2016-09-08T14:30:00-10:00
Where:
Keller Hall 303
This week the Sporadic Logic Seminar will be Mushfeq Khan speaking on
“Turing degrees and Muchnik degrees of recursively
bounded DNR functions”.
Summary:
This talk is based on a forthcoming paper by Steve Simpson. It contains
some results that shed light on a part of the Muchnik lattice that remains
poorly understood: the various degrees of recursively bounded DNR functions
obtained by varying the recursive bound.
Keller 303