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.

Events - November 2019

Tuesday, November 5, 2019 — 2:00 PM EST

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Reverse Mathematics"

We say that $S \subseteq \mathcal{P}(\omega)$ is an $\omega$-model of a subsystem of second order arithmetic if the $L_2$ structure $(\omega, S, +, \cdot, 0, 1, <)$ correctly models the subsystem in question. The goal of this lecture will be to prove that there is an $\omega$-model of $WKL_0$ consisting entirely of low sets. 

This will involve learning about PA degrees and the low basis theorem.

All are welcome.

MC 5413

Pages

S M T W T F S
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
31
1
  1. 2021 (67)
    1. July (17)
    2. June (15)
    3. May (1)
    4. April (4)
    5. March (11)
    6. February (9)
    7. 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)
    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)
  4. 2018 (212)
  5. 2017 (281)
  6. 2016 (335)
  7. 2015 (211)
  8. 2014 (235)
  9. 2013 (251)
  10. 2012 (135)