• Logic, École Normale Supérieure.
• Model theory of valued fields, LMFI, Univeristé de Paris.
• Model theory of pseudo finite fields, LMFI, Paris Diderot.
• Model theory of algebraically closed valued fields, Workshop on the model theory of valued fields, IPM, Tehran
• Model Theory, Math 225A, UC Berkeley.
• Introduction to Algebra, Math 113, UC Berkeley.
• Introduction to Logic, Math 125, UC Berkeley.
• Logic, École Normale Supérieure.

Logic (École Normale Supérieure)

• Class notes (in French). Comments and corrections are welcome.

Model theory of valued fields (LMFI, Université de Paris)

• Schedule in 2021:
  • Tuesday from 8:45am to 10:45am.
  • Fridays from 16h15 to 18h15.
• Class notes. Comments and corrections are welcome.
• Exams
  • Midterm.

Model theory of pseudo finite fields (LMFI, Paris Diderot)

• Class notes. Comments and corrections are welcome.
• Exercises
• Exams
  • 2020:
    • Partiel.
    • Examen.
  • 2019 :
    • Midterm
    • Final

Model theory of algebraically closed valued fields (IPM, Tehran)

• Notes. Comments and corrections are welcome.

Model Theory (Math 225A, UC Berkeley)

• Class notes. They are very much a work in progress.
• Homework
  • Homework 1 and its solution.
  • Homework 2 and its solution.
  • Homework 3 and its solution.
  • Homework 4 and its solution.
  • Homework 5 and its solution.
  • Homework 6 and its solution.
  • Homework 7 and its solution.
  • Homework 8 and its solution.
  • Homework 9 and its solution.
  • Homework 10 and its solution.
  • Homework 11.
• Exams
  • Fall 17
    • Midterm, and its solution.
    • Final.
  • Fall 16
    • Midterm and its solution.
    • Final.

Introduction to Algebra (Math 113, UC Berkeley)

• Homework
  • Homework 1 and its solution.
  • Homework 2 and its solution.
  • Homework 3 and its solution.
  • Homework 4 and its solution.
  • Homework 5 and its solution.
  • Homework 6 and its solution.
  • Homework 7 and its solution.
  • Homework 8 and its solution.
  • Homework 9 and its solution.
  • Homework 10 and its solution.
• Exams
  • Fall 17
    • First midterm and its solution.
    • Second midterm and its solution.
    • Final.
  • Spring 17
    • First midterm and its solution.
    • Second midterm and its solution.
    • Final.
  • Fall 16
    • First midterm and its solution.
    • Second midterm and its solution.
    • Final.
  • Spring 16
    • Midterm of Lecture 2 and its solution.
    • Midterm of Lecture 3 and its solution.
    • Final of Lecture 2.
    • Final of Lecture 3.

Introduction to Logic (Math 125, UC Berkeley)

• Class Notes
  • Formal proofs and completeness of propositional logic.
  • Lambda calculus.
• Homeworks
  • Homework 1 and its solution.
  • Homework 2 and its solution.
  • Homework 3 and its solution.
  • Homework 4 and its solution.
  • Homework 5 and its solution.
  • Homework 6 and its solution.
  • Homework 7 and its solution.
  • Homework 8 and its solution.
  • Homework 9 and its solution.
  • Homework 10 and its solution.
  • Review problems and their solutions.
• Exams
  • Midterm and its solution.
  • Final and its solution.

Logic (École Normale Supérieure)

• Exercices
  • Exercice sheet 1 and its solution.
  • Exercice sheet 2 and its solution.
  • Exercice sheet 3 and its solution.
  • Exercice sheet 4 and its solution.
  • Exercice sheet 5 and its solution.
  • Exercice sheet 6 and its solution.
  • Exercice sheet 7 and its solution.
  • Exercice sheet 8 and its solution.
  • Exercice sheet 9 and its solution.
  • Exercice sheet 10 and its solution.
  • Exercice sheet 11 and its solution.
  • Exercice sheet 12 and its solution.
  • Exercice sheet 13.
  • Exercice sheet 14. These exercices follow closely chapter 7 of Krivine's Théorie des ensembles.