Computability Learning Seminar

Wednesday, July 6, 2016 10:00 am - 10:00 am EDT (GMT -04:00)

Emily Neufeld, Department of Pure Mathematics, University of Waterloo

“A Minimal Pair of K-degrees”

This week we will have a brief interlude and look at a proof for the existence of a minimal pair of K-degrees. This will include proving a lemma which states that we can construct a nondecreasing, unbounded function which can replace the constant in our definition of K- triviality, while still implying K-triviality.

MC 5403