Computability Learning Seminar

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