This semester I am teaching the third year logic course M345. The model theory seminar is doubling as an Honours course.