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
31
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
  1. 2019 (182)
    1. November (16)
    2. October (19)
    3. September (13)
    4. August (7)
    5. July (12)
    6. June (18)
    7. May (22)
    8. April (11)
    9. March (25)
    10. February (17)
    11. January (22)
  2. 2018 (219)
    1. December (2)
    2. November (32)
    3. October (27)
    4. September (26)
    5. August (4)
    6. July (9)
    7. June (13)
    8. May (17)
    9. April (13)
    10. March (28)
    11. February (27)
    12. January (21)
  3. 2017 (281)
  4. 2016 (335)
  5. 2015 (209)
  6. 2014 (235)
  7. 2013 (251)
  8. 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)