Continuous Logic Learning Seminar

Joey Lakerdas-Gayle, University of Waterloo

Infinitary Continuous Logic

We will introduce continuous analogues of infinitary logic following a survey of Christopher Eagle. We will also look at the Scott analysis for metric structures developed by Ben Yaacov, Doucha, Nies, and Tsankov.