Martino Lupini: The Lopez-Escobar theorem for metric structures and the topological Vaught conjecture

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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.