Logic
Class notes. Comments and corrections welcome!
Teaching
Model theory of valued fields
Class notes. Comments and corrections welcome!
Model theory of pseudo finite fields
Class notes. Comments and corrections welcome!
Algebraically closed valued fields
Class notes. Comments and corrections welcome!
Model theory (Math 225A)
Class notes. They are very much a work in progress. Comments and corrections welcome!
Abstract Algebra (Math 113)
Homework and exams
Metamathematics (Math 125A)
Class notes on Formal proofs and Lambda calculus.
Logic
Exercices