Math 574: Set Theory

Class info

  • Lecture: TueThu 2–3:20pm in 441 Altgeld Hall
  • Deconfusion session: Tue 5–6pm in 341 Altgeld Hall
  • Problem sessions: See below

Instructor info

  • Name: Anush Tserunyan
  • Email: anush at illinois dot edu
  • Office: 369 Altgeld Hall

Course description

  • Course description and syllabus [pdf]
  • von Neumann hierarchy V and L

Topics

  • The axioms of set theory (ZFC)
  • Ordinal and cardinal arithmetic
  • The axiom of foundation
  • Relativisation, absoluteness, and reflection
  • Ordinal definable sets and inner models of set theory
  • The constructible universe L
  • Cohen's method of forcing
  • Independence of the axiom of choice and the continuum hypothesis
  • Selected topics in forcing

Material

  • Lecture notes from the current course, typeset by Jessica Schirle
  • Ch. Rosendal, Set Theory, lecture notes (Fall, 2010), based on Krivine's book
  • A. Tserunyan, A graph-theoretic proof of the Δ-system lemma [pdf]
  • A. Tserunyan, The Cantor–Schröder–Bernstein theorem [pdf]
  • D.J. Lutzer, Stationary sets in ω1, Ulam matrices, and probability measures [pdf]
  • A. Tserunyan, Basic Set Theory, introductory lecture notes for undergrads [pdf]
  • J.-L. Krivine, Théorie des ensembles (French) 2ème édition (2007) [link]
  • K. Kunen, Set Theory (2011) [link]

Homework

Embedding ordinals into a set

Embedding ordinals into a set

Problem sessions

Grading scheme

xkcd