Professor Hans Halvorson (hhalvors) Office: Room 220, 1879 Hall Office hours: TBA
Two lectures per week: Monday and Wednesday, 11:00am, in Jadwin 111. There will also be one "precept" per week. At first, the precept will be a third lecture. Later in the semester, as students gain confidence with the material, we will have some student presentations.
Textbook: David Marker, Model Theory
Description: We cover the basics of model theory, the branch of mathematical logic that studies interpretations of first-order languages in the universe of sets.
Requirements: Approximately one problem set per week; take home midterm and final exams.