Math 454: Axiomatic Set Theory (Fall 2019)
Class Meets Tuesday/Thursday 12:00–13:15
Room Keller 413
See here for the syllabus.
Announcements

(12/13) I wrote up a solution for problem 3 from the takehome portion of the midterm.

(12/10) The final exam will be Tuesday, December 17 at 12pm in Keller 413.

(9/23) I have been asked to pass on information to you about the Putnam exam. See here for more details.
Homework
See the syllabus for information about my grading policy for the class, and a template .tex file. Some exercises are marked as “reach exercises”. These are optional, more difficult problems. You are encouraged to attempt them, but I won’t penalize your grade if you don’t.
Please do not use blue ink for your assignments. I would like to reserve blue for grading and writing comments. If you use blue, I will be forced to switch to the angrier, more aggressive red.

Homework 12 Due Tues, Nov 26

Homework 11 Due Thurs, Nov 14

Homework 10 Due Thurs, Nov 7

Homework 9 Due Thurs, Oct 31 🎃

Homework 8 Due Thurs, Oct 24

Homework 7 Due Thurs, Oct 17

Homework 5 Due Thurs, Oct 3

Homework 4 Due Thurs, Sept 26

Homework 3 Due Thurs, Sept 19

Homework 2 Due Thurs, Sept 12

Homework 1 Due Thurs, Sept 5
Tentative course outline

(1.5 weeks) Preliminaries and axioms [Chapters 1–2]

(2 weeks) Wellorders and ordinals [Chapter 3]

(1 week) Transfinite recursion

(2 weeks) Cardinality [Chapter 4]

Exam 1

(1 week) Dense linear orders [Chapter 6]

(2.5 weeks) Trees [Chapter 5]

(2 weeks) Filters and ideals [Chapter 7]

(2 weeks) A taste of independence

Exam 2
Most of the lecture will follow the textbook. For material outside the text, I will post supplementary notes on this page.