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