Axioms of set theory, transfinite induction and recursion, cardinal numbers, cardinal arithmetic, ordinal numbers, ordinal arithmetic, Axiom of Choice, equivalent principles, closed unbounded and stationary sets, infinitary combinatorics.
Prereq: 4547 (547), 4580 (580), Grad standing or permission of department. Not open to students with credit for 647