Validationexamen
EnseignantTomas Ibarlucia
Horaires hebdomadaires 2 h CM , 2 h TD
Années Master Logique Mathématique et Fondements de l'Informatique M2 Logos

Syllabus

  • Langages, structures, théories du premier ordre
  • Ultraproduits, compacité.
  • Extensions élémentaires, Théorèmes de Lowenheim-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) Typer réalisés et types omis, modèles atomiques.

Bibliographie

  • D. MARKER, Model theory, An introduction, Graduate Texts in Mathematics, 217, Springer- Verlag, New York, 2002.
  • K. TENT & M. ZIEGLER, A Course in Model Theory. Lecture Notes in Logic, Cambridge University.