Computability Learning Seminar

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"Degree invariant functions and Martin's Conjectures"

We will continue the proof we started for the special case of Martin's conjecture.  That special case result says: Assuming the Axiom of Determinacy, a uniformly degree invariant function that is not increasing on a cone must be constant on a cone. 

MC 5403