Class Meets Monday/Wednesday/Friday 13:30–14:20

Room Keller Hall 301

See here for the syllabus.

Course Outline

  • 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.

Announcements

(Nothing yet!)

Homework