Computability Learning Seminar

Thursday, June 11, 2015 2:00 pm - 2:00 pm EDT

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“Pseudo-Jump Inversion and C.E. Operators”

We investigate the Pseudo-Jump Inversion Theorem of Jockusch and Shore and present some applications, the inversion of lowness results to produce highness results being among them. In doing so, we will also need to discuss c.e. operators and how certain existing constructions of c.e. sets can also be seen as an implicit definition of such an operator.