Computability Learning SeminarExport this event to calendar

Thursday, June 27, 2019 — 10:00 AM EDT

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Different extensions of first-order logic"

How does one capture the properties that aren’t definable by first-order sentences or even theories? One way is to allow infinitary conjunctions of first-order sentences. Another is to expand the language that is being used. In this talk I will discuss the cases when these two extensions coincide, and sketch a proof by W. Craig and R.L. Vaught that a computably axiomatizable theory can be finitely axiomatized using additional predicates.

MC 5479

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 (124)
    1. July (9)
    2. June (18)
    3. May (22)
    4. April (11)
    5. March (25)
    6. February (17)
    7. 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)