Computability Learning Seminar

Michael Deveau, Department of Pure Mathematics, University of Waterloo

"Non-triviality of the Bounded Jump Hierarchy - Part 3"

We finish the proof that for all $B$, there is some set $A$ with $B <_{bT} A <_{bT} B^b$. We determine $\hat{h}_A$ and $\hat{h}_C$ as promised, taking into account the restrictions imposed by the construction, and prove that our choices are correct.

MC 5413