Alexander Berenstein

Departamento de Matemáticas Universidad de los Andes (Colombia)

Model Theory

Applications of Model Theory to Real Analysis.

In this talk we will give a short introduction to continuous logic and how one adapts ideas of first order model theory to the setting of metric structures. A key tool in model theory is the notion of stable formulas and stable theories. We will see what is the analogue of these notions in the metric setting and how they appear naturally in Banach spaces.


Alexander Berenstein earned degrees with honors (Cum Laude) in both mathematics and physics at the University of the Andes. Obtained his PhD in 2002, by the University of Notre Dame. He has been an assistant professor at the University of Illinois, visiting professor at the University of Turin, at the National University of Colombia, at the University of the Andes, and at the University Claude Bernard Lyon 1 and he is currently an Associate Professor at the University of the Andes.

He has received several awards such as: Outstanding Graduate Student Teaching Award for excellence in teaching by the University of Notre Dame, 2002 Schoenfield Award (2013) awarded by the Association of Symbolic Logic, XXIV National Award for Scientific Merit 2014 within the Group of Research of Excellence, granted by the Colombian Association for the advancement of science.

He is a referee in several scientific publications: Annals of Pure and Applied Logic, Journal of Symbolic Logic, Mathematical Logic Quarterly, Journal of Logic and Analysis, Logic Journal of the IGPL, Dame Journal of Formal Logic, Archives of Mathematical Logic, Journal of the Korean Mathematical Society and Colombian Journal of Mathematics.

He has been Coordinator of the Undergraduate Level of the Mathematics Department at the University of the Andes and since 2015 he is coordinator of the Latin American committee of the Association of Symbolic Logic.