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. 2019 (158)
    1. October (11)
    2. September (13)
    3. August (7)
    4. July (12)
    5. June (18)
    6. May (22)
    7. April (11)
    8. March (25)
    9. February (17)
    10. January (22)
  2. 2018 (219)
    1. December (2)
    2. November (32)
    3. October (27)
    4. September (26)
    5. August (4)
    6. July (9)
    7. June (13)
    8. May (17)
    9. April (13)
    10. March (28)
    11. February (27)
    12. January (21)
  3. 2017 (281)
  4. 2016 (335)
  5. 2015 (209)
  6. 2014 (235)
  7. 2013 (251)
  8. 2012 (135)