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