• See here for the syllabus.

  • See here for more info about the projects, including some suggested topics.


  • (2/8) Some of the LaTeX commands you can see in the sources for the chapters aren’t part of the LaTeX core, but rather are macros in a file I keep locally. Here is the macros file. If the LaTeX compiler doesn’t recognize a command you grabbed from the source, it should be found in this file. If you want to use it to compile the source yourself, you’ll need to change the \input{../../macros.tex} line in the header to point to where you placed the macros file, instead of two directories up.

  • (1/29) Here’s some info about LaTeX to get you started. As a reminder, all written submissions for this class must be typeset in LaTeX. I will not accept hand-written work.

    LaTeX is a free and open source typesetting engine. You write a LaTeX document as a plaintext file, which is then compiled into a pdf. Various macros are used to determine formatting and document structure, display mathematical formulae, and so on. If you’re going to use LaTeX long term, such as if you plan to go to grad school in math or a closely related field, you should install it on your machine. See here for instructions. (Or if you’re on linux you can just install it using your distribution’s package manager.) Another option people like is to use Overleaf, an online editor. To help get you started, I made a template for your portfolio.

    Here is a set of LaTeX tutorials on Overleaf. Here is a handy tool for figuring out the LaTeX command for a math symbol. I will also make the source files for the lecture notes available so that you can use them as reference.

Lecture Notes

Problem Sets


  • Chapter 0: Countable sets

    • 1/29–2/9

    • Problem session 2/9

    • Partial portfolio due 2/12

  • Chapter 1: Ordinals and transfinite recursion

    • 2/12–3/1

    • Problem session 3/1

    • Partial portfolio due 3/4

  • Chapter 2: Cardinals

    • 3/4–3/15

    • Problem session 3/15

    • Partial portfolio due 3/15

    • First project check-in, choose topic by 3/15

  • Spring Break 3/18–3/22

  • Chapter 3: The cumulative hierarchy and axioms

    • 3/25–4/5

    • Problem session 4/5

    • Partial portfolio due 4/8

  • Chapter 4: Trees

    • 4/8–4/19

    • Second project check-in by 4/15

    • Problem session 4/19

    • Partial portfolio due 4/22

  • Chapter $\omega$: Selected topic

    • 4/22–5/1

    • Draft of paper due 4/29

    • Problem session 5/1

  • Student Presentations

    • 5/6–5/8

    • Portfolio due 5/10

    • Paper due 5/13