Continuous Logic Learning Seminar

Joey Lakerdas-Gayle, University of Waterloo

Compactness and connectives in continuous logic

We will look at the compactness theorem and systems of connectives following "Model Theory for Metric Structures" by Ben Yaacov, Berenstein, Henson, and Usvyatsov.

MC 5403