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, July 4, 2019

Thursday, July 4, 2019 — 10:00 to 10:00 AM EDT

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Different extensions of first-order logic (part 2)"

Having given definitions and examples of two different extensions of first-order logic, I will proceed to sketch a proof that a computably axiomatizable theory is finitely axiomatizable using additional predicates. Knowledge of the first part is not necessary.

MC 5479

Thursday, July 4, 2019 — 4:00 PM EDT

Ian Charlesworth, University of California, Berkeley

"Free Stein Irregularity"

S M T W T F S
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
  1. 2020 (69)
    1. July (1)
    2. June (1)
    3. May (3)
    4. March (16)
    5. February (26)
    6. 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)