Logique
Notes de cours. Les commentaires et corrections sont les bienvenus !
Enseignement
Théorie des modèles des corps valués
Notes de cours. Les commentaires et corrections sont les bienvenus !
Théorie des modèles des corps pseudo finis
Notes de cours. Les commentaires et corrections sont les bienvenus !
Corps valués algébriquement clos
Notes de cours. Les commentaires et corrections sont les bienvenus !
Théorie des modèles (Math 225A)
Notes de cours (en cours d’élaboration). Les commentaires et corrections sont les bienvenus !
Algèbre abstraite (Math 113)
Devoir et examens
Métamathématiques (Math 125A)
Notes de cours sur les preuves formelles et le Lambda calcul.
Logique
Feuilles de TD