Tag Archives: featured


MATH 454 Fall 2021

Watch this space for updates on the undergraduate course MATH 454 (Axiomatic Set Theory).
Textbook: Schimmerling’s “A course on set theory”

A similar course at the graduate level was MATH 654 Fall 2020, which had the following readings:

  • Foundations of Mathematics, Kenneth Kunen, parts of chapters I-IV.
  • Modal logic for open minds, Johan van Benthem, some of chapters 1-11 and 16.
  • Logic and Proof, Lean tutorial, and The Natural Number Game