Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"Degree Invariant Functions and Martin's Conjecture"

This week we prove the Delay Lemma which is the essential part of proving that if our degree invariant function is strictly decreasing on a cone then it is constant on a cone.

MC 5417