University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

Computability Learning SeminarExport this event to calendar

Wednesday, May 2, 2018 — 2:00 PM EDT

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

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2020 (82)
    1. November (1)
    2. October (4)
    3. September (3)
    4. August (1)
    5. July (5)
    6. June (1)
    7. May (3)
    8. March (16)
    9. February (26)
    10. January (22)
  2. 2019 (199)
    1. December (7)
    2. November (26)
    3. October (19)
    4. September (13)
    5. August (7)
    6. July (12)
    7. June (18)
    8. May (22)
    9. April (11)
    10. March (25)
    11. February (17)
    12. January (22)
  3. 2018 (212)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)
    1. December (5)
    2. November (18)
    3. October (15)
    4. September (7)
    5. August (16)
    6. July (23)
    7. June (18)
    8. May (20)
    9. April (2)
    10. March (10)
    11. February (1)