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.

Changes due to the coronavirus pandemic

See this page for information about the changes to this class due to UH going online-only.


  • (3/9) Here is the hand-out from class today. You can turn in a solution to one of the problems from the hand-out—one we did not do together in class!—for up to 2 points back on Homework 6.

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