Class Meets Monday/Wednesday/Friday 13:30–14:20
Room Keller Hall 301
See here for the syllabus.
Part 0: Model Theory (Chapters I–III, VI, and material outside the textbook)
Part 1: Proof Theory (Chapters IV¸ V, VII, VIII)
Part 2: Computability and Incompleteness (Chapters X, and material outside the textbook)
Part 3: Nonstandard Models (Material outside the textbook)
For material outside the text I will strive to post supplemnetary notes on this page.
- Homework 0 (Due Friday, Jan 24)