Computability Learning Seminar

Wednesday, May 9, 2018 2:00 pm - 2:00 pm EDT (GMT -04:00)

Mohammad Mahmoud, Department of Pure Mathematics, University of Waterloo

"Degree invariant functions and Martin's Conjectures"

We will go through a theorem which proves a special case of one of Martin's conjectures about degree (Turing) invariant functions. The theorem says: Assuming the Axiom of Determinacy, a uniformly degree invariant function that is not increasing on a cone must be constant on a cone. The theorem is about a uniformly degree invariant function while the conjecture is about any degree invariant function, not necessarily uniformly.

MC 5403