- 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.
Teaching
Homepage | Publications | Teaching | CV | Miscellaneous | Contact
Model theory of pseudo finite fields (LMFI, Paris Diderot)
- Dates et classrooms in 2020:
- Tuesdays 8:45am to 10:45am.
- The 14/01 class is cancelled.
- The 21/01 and 28/01 classes are in HF 506B.
- from the 04/02 onward, classes are in HF 166E.
- Thursdays 11:15am to 1:15pm in SG 2011.
- The 16/01 class is cancelled. It is replaced by the "Théorie des modèles: Outils classiques" class.
- The two cancelled class will be given at a latter date.
- Tuesdays 8:45am to 10:45am.
- Class notes. Comments and corrections are welcome.
- Exams
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
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
- Fall 17
Introduction to Logic (Math 125, UC Berkeley)
- Class Notes
- 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
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.