Logic Seminar
Building 15, Room 131
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.
For more information, please contact Mathematics Department by phone at 626-395-4335 or by email at [email protected].
Event Series
Logic Seminar Series
Event Sponsors