Continuous Logic Learning Seminar

Joey Lakerdas-Gayle, University of Waterloo

Infinitary Continuous Logic II

We will prove a continuous analog of Scott's Isomorphism Theorem using the Scott analysis for metric structures developed by Ben Yaacov, Doucha, Nies, and Tsankov.