Computability Learning Seminar

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“Pseudo-Jump Inversion - Part II”

We continue the proof we started last week of the Pseudo-Jump Inversion Theorem. We verify that the construction presented does indeed produce a set satisfying the conditions of the theorem, and also show that the construction is well-defined. Finally, we use this result to construct high c.e. sets with certain properties, which was our motivating reason for introducing the theorem.

M3-4206