Computability Learning Seminar

Michael Deveau, Department of Pure Mathematics, University of Waterloo

“The Golden Run Construction - Part 1”

We generalize the decanter method we have been discussing to prove the main result: All K-trivial sets are low for K. We will spend some time discussing the differences between the method we have already seen and what we shall attempt to prove, as well as motivating the construction as a whole. The main focus will be exploring the two important procedures that are run during the construction. Time permitting, we will begin the construction proper in more detail.

MC 5403