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