Scolarité M2 (sauf MIC, MIDS)
- Mme Chatoux
- bureau 5055
- 01 57 27 93 06
- Mme Prudlo
- bureau 5055
- 01 57 27 93 06
Classical Model Theory
8 ECTS, semester 2, 12 weeks
| Requirements | Besides 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 requirements | examen |
| Teacher | Tamara 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.