| Week |
Date of Monday |
Topic |
Homework |
Comments |
| 1 |
Sept. 4 |
Introduction. Basic Axioms. Notes. |
Homework 1.
Due 9/13. |
No class Monday. |
| 2 |
Sept. 11 |
Axioms. Functions. Notes. |
Homework 2.
Due 9/20. |
|
| 3 |
Sept. 18 |
Relations. Equivalence and order relations. Notes. |
Homework 3.
Due 9/27. |
Substitute (Prof. Thomas) on Monday and Wednesday. |
| 4 |
Sept. 25 |
Natural numbers. Recursion. Berry
Paradox. Notes. |
Homework 4.
Due 10/4. |
Incorrectly called it "Bertrand's Paradox" in class. Ha! |
| 5 |
Oct. 2 |
Arithmetic. |
None. |
Midterm on Wednesday. |
| 6 |
Oct. 9 |
Omega is well-ordered. Begin construction of Z. Notes. |
Homework 5.
Due 10/18. |
As always, let me know if you find typos in the notes.
Thanks! |
| 7 |
Oct. 16 |
Finish Z. Begin Q. Notes. |
Homework 6.
Due 10/25. |
Fixed typo in HW 6 (10/21). |
| 8 |
Oct. 23 |
Finish Q. Begin R. Notes. |
Homework 7.
Due 11/01. |
|
| 9 |
Oct. 30 |
Finish R. Notes. |
Homework 8.
Due 11/08. |
"Why isn't it just obvious that the integers form an unbounded
subset of the real numbers?" By Timothy
Gowers |
| 10 |
Nov. 6 |
Decimal expansions. Finish C. |
None. |
Midterm on Wednesday. |
| 11 |
Nov. 13 |
Equinumerosity. Notes. |
Homework 9.
Due 11/29. |
|
| 12 |
Nov. 20 |
Proof of Schroder-Bernstein. |
None. |
Thanksgiving -- no class Wednesday. |
| 13 |
Nov. 27 |
Cardinal Numbers. Notes. |
Homework 10.
Due 12/06. |
|
| 14 |
Dec. 4 |
The axiom of choice. Well-orders. Notes. |
Homework 11.
Due 12/13. |
|
| 15 |
Dec. 11 |
Ordinals. Notes. |
None. |
Wednesday is last day of classes. The final is on Dec. 19
(Tuesday) from 12-3pm, in the usual classroom. |
