Forcing, large cardinals, descriptive set theory, determinacy principles, and applications in analysis and topology.
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 strong infinity principles, where certain infinite cardinals have properties that cannot be proved from ZFC alone, and these principles are used to measure the strength of set theoretic assumptions.
The chapter next studies descriptive set theory, which analyzes definable sets of real numbers and other Polish spaces, connecting set theory with topology, measure theory, and analysis.
Determinacy principles are introduced as alternatives or supplements to choice in certain contexts, especially in the study of infinite games, where they imply strong regularity properties for definable sets.
The final part of the chapter discusses applications in analysis and topology, showing how advanced set theoretic methods influence questions about real numbers, function spaces, definable sets, and classification problems.