Problem sets:
Day 1
Day 2
Day 3
Day 4
Day 5
Weekend 1
Day 6
Day 7
Day 8
Day 9
Day 10
Weekend 2
Day 11
Day 12
Day 13
We're sort-of following these notes. Notably missing from those notes are ultraproducts and Łoś's theorem and lots of the recursion theory.