Course - Set Theory HT25
This course is a rigorous introduction to axiomatic set theory. The course presents the axioms of ZFC in turn, starting with the most foundational (the empty set axiom) and finally building up to the axiom of choice. Ordinals and cardinals are introduced along the way.
- Course Webpage
- Lecture Notes
- Related: [[Course - Logic MT24]]U
- Dr. Marin Bays wrote the lecture notes for this course, and the notes here are adapted from those notes.
- Other courses this term: [[Courses HT25]]U
Notes
- [[Notes - Set Theory HT25, Basic axioms]]U
- [[Notes - Set Theory HT25, Products and relations]]U
- [[Notes - Set Theory HT25, Functions]]U
- [[Notes - Set Theory HT25, Natural numbers]]U
- [[Notes - Set Theory HT25, Classes]]U
- [[Notes - Set Theory HT25, Cardinals and cardinalities]]U
- [[Notes - Set Theory HT25, Well-ordered sets]]U
- [[Notes - Set Theory HT25, Ordinals]]U
- [[Notes - Set Theory HT25, Replacement]]U
- [[Notes - Set Theory HT25, Foundation]]U
- [[Notes - Set Theory HT25, Choice]]U
- [[Notes - Set Theory HT25, Zorn’s lemma]]U
- [[Notes - Set Theory HT25, Vector spaces]]U