Tuesday, October 31, 2017
3:00 pm
Building 15, Room 131 – Building 15

Logic Seminar

Strong conceptual completeness for L_{\omega_1\omega}
Ronnie Chen, Department of Mathematics, Caltech
Strong conceptual completeness (SCC) theorems allow the syntax of a logical theory to be canonically recovered from its space of models equipped with suitable structure, and are known for finitary first-order logic (Makkai) and fragments thereof (Gabriel-Ulmer, Lawvere, and others). In this talk, I will present a SCC theorem for L_{\omega_1\omega}: a countable L_{\omega_1\omega}-theory can be recovered from its standard Borel groupoid of countable models.
Contact Mathematics Department mathinfo@caltech.edu at 626-395-4335
Add this event to my calendar