9. Advanced Set Theory
Advanced set theory studies methods and principles that go beyond the basic axioms of ZF and ZFC, especially when ordinary axioms do not decide important mathematical questions. The chapter begins with forcing, which is a method for constructing new models of set theory from old ones, and it provides the main technique for proving independence results such as the independence of the continuum hypothesis. Large cardinals are then introduced as...