Accueil CV             Recherche           Enseignement


     

Théorie des modèles - outils classiques

M2 LMFI 2017-18


Einsegnant : Tamara Servi

Horaires :
Lundi 8h45 - 10h35 (bâtiment Sophie Germain, salle 2012)
Mardi 8h40 - 10h30 (
bâtiment Sophie Germain, salle 2018)

Actualités :
 
  • Premier cours : lundi 08/01/2018
  • Examen partiel : ???
  • Dernier cours : mardi 27/03/2018
  • Examen final : semaine 9-13 avril

Programme

Semaine 1 08-09/01 Présentation du cours. Rappels et notations. Types.
Semaine 2 15-16/01 Types dans DLO et ACF_0. Corps réels clos. La théorie RCF élimine les quantificateurs et est complète.
Semaine 3 22-23/01 Types dans RCF. Structures k-homogènes et fortement k-homogènes. Exemples et contre-exemples (germes exponentiels). Relation entre homogéneité et saturation.
Semaine 4 29-30/01
Semaine 5 05-06/02
Semaine 6 12-13/02
Semaine 7 19-20/02
Semaine 8 26-27/02
Semaine 9 05-06/03
Semaine 10 12-13/03
Semaine 11 19-20/03
Semaine 12 26-27/03


Documents



Bibliographie

  • D. Marker, Model Theory: an introduction, Springer-Verlag 2002.
  • K. Tent, M. Ziegler, A Course in Model Theory, CUP 2012.







Dernière mise à jour : 23/01/2018