Course - Set Theory HT25

Created: January 20, 2025 | Updated: June 26, 2025 | Read markdown | About these notes | View in context | Study these flashcards

---

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, 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

Problem Sheets

• Sheet 1
• Sheet 2
• Sheet 3
• Sheet 4

---

Related posts

• Courses HT25^U

  (incoming)
• Part B^U

  (incoming)
• University Notes^U

  (incoming)
• Course - Logic MT24^U

  (incoming)
• Notes - Set Theory HT25, Vector spaces^U

  (incoming)
• Notes - Set Theory HT25, Classes^U

  (incoming)
• Notes - Set Theory HT25, Choice^U

  (incoming)
• Notes - Set Theory HT25, Basic axioms^U

  (incoming)
• Notes - Set Theory HT25, Replacement^U

  (incoming)
• Notes - Set Theory HT25, Foundation^U

  (incoming)
• Notes - Set Theory HT25, Functions^U

  (incoming)
• Notes - Set Theory HT25, Well-ordered sets^U

  (incoming)
• Notes - Set Theory HT25, Natural numbers^U

  (incoming)
• Notes - Set Theory HT25, Ordinals^U

  (incoming)
• Notes - Set Theory HT25, Products and relations^U

  (incoming)
• Notes - Set Theory HT25, Zorn's lemma^U

  (incoming)
• Notes - Set Theory HT25, Cardinalities^U

  (sim: 0.612)