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.

Logic seminarExport this event to calendar

Thursday, July 4, 2013 — 3:30 PM EDT

David Belanger, Cornell University

“Disjunctions in reverse mathematics”

The main question of reverse mathematics is: ”What axioms are needed are needed to prove a given theorem of ordinary math?” Implicit is the assumption that if there is more than one proof, there is a best proof among them using axioms weaker than all the rest. We consider statements where this is true only on a technicality: there are two proofs using different axioms A and B, and the best proof simply chooses between them using A ∨ B. Examples come from effective model theory.

Location 
MC - Mathematics & Computer Building
5045
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
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
2
3
  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 (219)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)