Computability Learning SeminarExport this event to calendar

Tuesday, January 21, 2020 — 2:00 PM EST

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Reverse Mathematics"

Different forms of Ramsey's Theorem will be discussed with a focus on their reverse mathematical strength. Tools from computability theory such as PA degrees will be used.

MC 5413

S M T W T F S
26
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
2
3
4
5
6
  1. 2021 (97)
    1. October (10)
    2. September (5)
    3. August (15)
    4. July (17)
    5. June (15)
    6. May (1)
    7. April (4)
    8. March (11)
    9. February (9)
    10. January (10)
  2. 2020 (103)
    1. December (10)
    2. November (12)
    3. October (4)
    4. September (3)
    5. August (1)
    6. July (5)
    7. June (1)
    8. May (3)
    9. March (16)
    10. February (26)
    11. January (22)
  3. 2019 (199)
  4. 2018 (212)
  5. 2017 (281)
  6. 2016 (335)
  7. 2015 (211)
  8. 2014 (235)
  9. 2013 (251)
  10. 2012 (135)