Por Alexander Usvyatsov (Universidade de Lisboa, CMAF-CIO).
Abstract: These 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. In the last talk, I will introduce examples of continuos structures and theories: the Hilbert space, probability algebras, and, if time permits, the Hilbert space with a generic unitary operator. Coming back to applications in Banach space geometry that I mentioned in the first lecture, I also hope to briefly discuss the concept of stability in continuous logic.
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.
