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.


  • (2/13) See here for a hand-out with a list of sequent rules.

  • (2/10) Next Monday, February 17, is a federal holiday. The university is closed and class will not be meeting.

  • (1/29) If you are a resident of Hawaiʻi and want to vote in the presidential primary, important dates are coming up soon. The Hawaiʻi Republican party is not running a primary this year [link], but the Democratic party is. Starting this year the primary is conducted by mail-in ballots. To vote in the primary you must be a registered voter in the state and a member of the Democratic Party of Hawaiʻi. You can register to vote here and enroll in the party here. To receive an early ballot in the mail you must register and enroll by February 18. The final deadline to receive a ballot in the mail is March 8. In-person voting and same-day registration options will also be available on April 4.