| Syllabus | Home | Readings |
| Week 1 | |
|---|---|
| Day | Homework |
| Monday Jan 4th | None |
| Wednesday Jan 6th | Set Arithmetic |
| Friday Jan 8th | Burali-Forti |
| Week 2 | ||
|---|---|---|
| Day | Homework | |
| Monday Jan 11th | Model Theory | |
| Wednesday Jan 13th | None | |
| Friday Jan 15th | Relations Misc | |
| Week 3 | |
|---|---|
| Day | Homework |
| Wednesday Jan 20th | Cardinalities |
| Thursday (X-hour) Jan 21st | Induction |
| Friday Jan 22nd | Some Recursive Constructions |
| Week 4 | |
|---|---|
| Day | Homework |
| Monday Jan 25th | Peano Arithmetic |
| Wednesday Jan 27th | The role of well-ordering in recursion |
| Friday Jan 29th | Small Ordinals |
| Week 5 | |
|---|---|
| Day | Homework |
| Feb 1st - Feb 5th | Ordinals and Cardinals Misc. |
| Week 6 | |
|---|---|
| Day | Homework |
| Feb 8th - Feb 12th | No HW (upcoming midterm) |
| Week 7 | |
|---|---|
| Day | Homework |
| Feb 15th - Feb 19th | Midterm (Due the 22nd) |
| Week 8 | |
|---|---|
| Day | Homework |
| Feb 22nd - Feb 26th | Presentation |
| Week 9 | |
|---|---|
| Day | Homework |
| Feb 29th - March 4th | Presentation |
| Week 10 | |
|---|---|
| Day | Homework |
| Monday March 7th | Presentation Day |
| Final exam week | Final (due date TBD) |