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

Tuesday, March 24, 2015 — 3:30 PM EDT

Michael Deveau, Department of Pure Mathematics

"Weak König's Lemma over RCA_0"

Since the addition of Konig's Lemma to RCA_0 presented last time proved to be too strong, we will next investigate the addition of Weak Konig's Lemma to RCA_0. To show that this will have strength strictly between RCA_0 and ACA_0, we will spend some time discussing the PA degrees, including an important application of the Low Basis Theorem.

Location 
MC 5413


,
Canada

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 (78)
    1. October (1)
    2. September (3)
    3. August (1)
    4. July (5)
    5. June (1)
    6. May (3)
    7. March (16)
    8. February (26)
    9. 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)