Logic Seminar

Tuesday, March 14, 2017 11:00 am - 11:00 am EDT (GMT -04:00)

Michael Deveau, Department of Pure Mathematics, University of Waterloo

"Jumps, Bounds and Inversions"

In this talk, I will explain some basic results about jump inversion as applied to a non-standard reducibility, the bounded Turing reduction. We will see that some standard results fail, and attempt to remedy this by modifying the jump operator to make it more compatible with the reduction. Along the way, we will encounter the Ershov hierarchy, problems with relativization, and a frightening definition.

MC 5403