Sala 6.2.33, FCUL, Lisboa
Por Alexander Usvyatsov (Universidade de Lisboa, CMAF-CIO).
Abstract: These two talks are intended as a soft and not too technical introduction to model theory of metric structures, including a short history and motivating questions, with a particular emphasis on fundamentals of continuous first order logic. I will also mention a few successful applications to Banach space theory, as well as more recent promising directions.
This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project UID/MAT/04561/2013.
15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional