Saturated Models
16 May 2018
May 16, 2018
Venue: Lecture room A218 – Polo Ferrari 1 – Via Sommarive, 5 - Povo - Trento
Hour: 4:30 pm
- Franziskus Wiesnet - PhD in Mathematics
Abstract:
We give an introduction to the theory of saturated models. We will see how we can use saturated models, to find elementary embedding of models with smaller cardinality or to find an isomorphism of two saturated models with the same cardinality. At the end of the lecture we present a characterisation, whether a theory admits quantifier elimination, by using saturated models.
Contact person: Stefano Baratella
Download