[Settfa] Tuesday 21/06, PEDRO ZAMBRANO
kubis at math.cas.cz
kubis at math.cas.cz
Sat Jun 18 12:00:02 CEST 2016
-------------------------------------------------------------------------
Tuesday 21st June, 10:00am
-------------------------------------------------------------------------
Speaker:PEDRO ZAMBRANO, UNIVERSIDAD NACIONAL DE COLOMBIA, BOGOTA
Title: A BRIEF INTRODUCTION TO MODEL THEORY
Abstract
Model Theory is a branch of Mathematical Logic which studies classes of mathematical structures in a general way.
The classical point of view (first order logic) mostly involves classes of algebraic structures (e.g., groups, rings, fields, modules, etc.), but parallely some variants have been developed for understanding non-algebraic examples (e.g., complete metric spaces -which takes us to the notion of Continuous Logic-) and algebraically-like classes of structures which are not axiomatizable in first order logic (e.g., complex numbers with exponentiation, which takes us to the notion of Abstract Elementary Class). Some classes of metric structures are not axiomatizable in Continuous Logic (e.g., the class of Hilbert spaces with unbounded operators). The notion of Metric Abstract Elementary Class was developed as an attempt to do a suitable model-theoretical study of these kind of classes of metric structures.
We will talk about some historical aspects of the development of Model Theory, until some recent results in Metric Abstract Elementary Classes.
For more information see the seminar web page at
https://calendar.math.cas.cz/set-theory-and-analysis-actual .
More information about the Settfa
mailing list