23 May 2014, 13:30–15:00
Fields institute, Room 210
Speaker: Martino Lupini.
Title: The Lopez-Escobar theorem for metric structures and the topological Vaught conjecture
Abstract: I will present a generalization of the classical Lopez-Escobar theorem to the logic for metric structures. As an application I will provide a model-theoretic reformulation of the topological Vaught conjecture. This is joint work with Samuel Coskey.