Wednesday, May 2, 2018 2:00 pm
-
2:00 pm
EDT (GMT -04:00)
Michael Deveau, Department of Pure Mathematics, University of Waterloo
"Games, Determinacy and Martin's Theorem"
We first define the notion of a game and then discuss the Axiom of Determinacy (AD), which is inconsistent with ZFC. We work instead in ZF + AD, and explore the consequences of AD as it relates to Turing degrees. In particular, we prove Martin's Theorem: assuming AD, every set of Turing degrees contains or omits a cone of degrees.
MC 5403