A refined interpretation of intuitionistic logic by means of atomic polymorphism
Por José Espírito Santo (Universidade do Minho).
Por José Espírito Santo (Universidade do Minho).
Por Pedro Pinto (Universidade de Lisboa).
Por Alexander Usvyatsov (Universidade de Lisboa, CMAF-CIO).
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.