Logic Seminar
Ruiyuan (Ronnie) Chen
UIUC
Polish groupoids and $\mathcal{L}_{\omega_1\omega}$-theories
Abstract: It is well-known that countable infinitary model theory is closely related to the dynamics of non-Archimedean Polish groups. We extend this correspondence by showing that there is a complete (2-categorical) equivalence between countable $\mathcal{L}_{\omega_1\omega}$-theories and their open non-Archimedean Polish groupoids of countable models. We will also discuss the extension of this correspondence to continuous logic.
Tuesday October 15, 2019 at 3:30 PM in 427 SEO