Computability Learning Seminar

Thursday, June 18, 2015 2:00 pm - 2:00 pm EDT (GMT -04:00)

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.