Théorie des modèles

Code APOGÉE : MA2CE020 | 6 ECTS | Enseignant : Tamara Servi | Validation : examen
Horaires hebdomadaires : 2h CM, 2h TD | Mutualisé avec : M2 LMFI

Programme

• Langages, structures, théories du premier ordre
• Ultraproduits, compacité
• Extensions élémentaires, Théorèmes de Löwenheim-Skolem, chaînes élémentaires
• Théorèmes de préservation
• Va et vients
• Élimination des quantificateurs, modèle-complétude
• Espace des types
• (Si le temps le permet) Types réalisés et types omis, modèles atomiques

Bibliographie

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