• Théorie des modèles des corps valués, LMFI, Univeristé de Paris.
• Théorie des modèles des corps pseudo finis, LMFI, Paris Diderot.
• Théorie des modèles des corps valués algébriquement clos, Workshop on the model theory of valued fields, IPM, Téhéran
• Théorie des modèles, Math 225A, UC Berkeley.
• Introduction à l'algèbre, Math 113, UC Berkeley.
• Introduction à la logique, Math 125, UC Berkeley.
• Logique, École Normale Supérieure.

Théorie des modèles des corps valués (LMFI, Université de Paris)

• Horaires en 2021:
  • Les mardis de 8h45 à 10h45.
  • Les vendredis de 16h15 à 18h15.
• Notes de cours. Les commentaires et corrections sont les bienvenus.
• Examens :
  • Partiel

Théorie des modèles des corps pseudo finis (LMFI, Paris Diderot)

• Notes de cours. Les commentaires et corrections sont les bienvenus.
• Exercices
• Examens
  • 2020:
    • Partiel.
    • Examen.
  • 2019:
    • Partiel.
    • Examen.

Théorie des modèles des corps valués algébriquement clos (IPM, Tehran)

• Notes. Les commentaires et corrections sont les bienvenus.

Théorie des modèles (Math 225A, UC Berkeley)

• Notes de cours. Elles sont très inachevées.
• Exercices
  • Feuille d'exercices 1 et sa solution.
  • Feuille d'exercices 2 et sa solution.
  • Feuille d'exercices 3 et sa solution.
  • Feuille d'exercices 4 et sa solution.
  • Feuille d'exercices 5 et sa solution.
  • Feuille d'exercices 6 and its solution.
  • Feuille d'exercices 7 et sa solution.
  • Feuille d'exercices 8 et sa solution.
  • Feuille d'exercices 9 et sa solution.
  • Feuille d'exercices 10 et sa solution.
  • Feuille d'exercices 11.
• Examens
  • Automne 17
    • Partiel, et sa solution.
    • Examen.
  • Automne 16
    • Partiel et sa solution.
    • Examen.

Introduction à l'algèbre (Math 113, UC Berkeley)

• Exercices
  • Feuille d'exercices 1 et sa solution.
  • Feuille d'exercices 2 et sa solution.
  • Feuille d'exercices 3 et sa solution.
  • Feuille d'exercices 4 et sa solution.
  • Feuille d'exercices 5 et sa solution.
  • Feuille d'exercices 6 et sa solution.
  • Feuille d'exercices 7 et sa solution.
  • Feuille d'exercices 8 et sa solution.
  • Feuille d'exercices 9 et sa solution.
  • Feuille d'exercices 10 et sa solution.
• Examens
  • Automne 17
    • Premier partiel et sa solution.
    • Deuxième partiel et sa solution.
    • Examen.
  • Printemps 17
    • Premier partiel et sa solution.
    • Second partiel et sa solution.
    • Examen.
  • Automne 16
    • Premier partiel et sa solution.
    • Second partiel et sa solution.
    • Examen.
  • Spring 16
    • Partiel of Lecture 2 and its solution.
    • Partiel of Lecture 3 and its solution.
    • Examen of Lecture 2.
    • Examen of Lecture 3.

Introduction à la logique (Math 125, UC Berkeley)

• Notes de cours
  • Preuves formelles et complétude de la logique du premier ordre.
  • Lambda calcul.
• Exercices
  • Feuille d'exercices 1 et sa solution.
  • Feuille d'exercices 2 et sa solution.
  • Feuille d'exercices 3 et sa solution.
  • Feuille d'exercices 4 et sa solution.
  • Feuille d'exercices 5 et sa solution.
  • Feuille d'exercices 6 et sa solution.
  • Feuille d'exercices 7 et sa solution.
  • Feuille d'exercices 8 et sa solution.
  • Feuille d'exercices 9 et sa solution.
  • Feuille d'exercices 10 et sa solution.
  • Problèmes de révision et leurs solutions.
• Examens
  • Partiel et sa solution.
  • Examen et sa solution.

Logique (École Normale Supérieure)

• Exercices
  • Feuille d'exercices 1 et sa solution.
  • Feuille d'exercices 2 et sa solution.
  • Feuille d'exercices 3 et sa solution.
  • Feuille d'exercices 4 et sa solution.
  • Feuille d'exercices 5 et sa solution.
  • Feuille d'exercices 6 et sa solution.
  • Feuille d'exercices 7 et sa solution.
  • Feuille d'exercices 8 et sa solution.
  • Feuille d'exercices 9 et sa solution.
  • Feuille d'exercices 10 et sa solution.
  • Feuille d'exercices 11 et sa solution.
  • Feuille d'exercices 12 et sa solution.
  • Feuille d'exercices 13.
  • Feuille d'exercices 14. Ces exercices suivent de près le chapitre 7 de Théorie des ensembles de Krivine.