Archive 2019
RequirementsBesides the notions and results of the first semester course, a general mathematical background (at Bachelor's level) will be useful to understand some examples and applications.
Program requirementsexamen
TeacherTamara Servi
Weekly hours 4 h CM
Years Master Logique et Fondements de l'Informatique

Syllabus

This course is a natural continuation of the first semester Model Theory course: in the first semester course, given an L-structure M, you will identify all the L-statements which are true in M (i.e. the theory of M). Conversely, in this course, given a complete L-theory T, we will classify its models up to isomorphism.

Contents

  • Omitted and realised types
  • Thin and thick models (according to the types realised)
  • Pregeometric theories: strongly minimal and o-minimal theories
  • Stable theories
  • k-categorical theories

Bibliography

  • Marker, D., Model theory, An introduction, Graduate Texts in Mathematics, 217, Springer-Verlag, New York, 2002.
  • Tent K., Ziegler M., A course in Model Theory, Lecture Notes in Logic, Cambridge University Press, 2012.