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 by date

Thursday, January 10, 2019

Thursday, January 10, 2019 — 4:00 PM EST

David Marker, University of Illinois at Chicago

"Logical Complexity of Schanuel's Conjecture"

Schanuel's Conjecture is naturally a \Pi^1_1-statement.  We show that it is equivalent to a \Pi^0_3-statement in arithmetic by showing that if there are counterexamples, then there are computable counterexamples.  The main ideas come from the work of Johnathan Kirby on exponential algebraic closure and exponential derivations.

MC 5403

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
31
1
2
  1. 2020 (67)
    1. May (3)
    2. March (16)
    3. February (26)
    4. 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 (209)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)