Events by date

Thursday, September 13, 2018

Thursday, September 13, 2018 — 3:00 PM EDT

John Dykes, Department of Pure Mathematics, University of Waterloo

"Homotopy Type Theory and Univalent Foundations: Lecture 2"

Thursday, September 13, 2018 — 3:30 PM EDT

Levon Haykazyan, Department of Pure Mathematics, University of Waterloo

"Sheaves of Structures and Positive Model Theory"

Can we relax the assumptions on Łoś's theorem if we only care about positive formulas? The answer to this question will lead us to rediscover sheaves of structures and generalised ultraproducts.

MC 5403

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
1
2
  1. 2021 (87)
    1. September (5)
    2. August (15)
    3. July (17)
    4. June (15)
    5. May (1)
    6. April (4)
    7. March (11)
    8. February (9)
    9. 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)
  4. 2018 (212)
    1. December (2)
    2. November (32)
    3. October (27)
    4. September (19)
    5. August (4)
    6. July (9)
    7. June (13)
    8. May (17)
    9. April (13)
    10. March (28)
    11. February (27)
    12. January (21)
  5. 2017 (281)
  6. 2016 (335)
  7. 2015 (211)
  8. 2014 (235)
  9. 2013 (251)
  10. 2012 (135)