9.1 Forcing
Forcing is a method for constructing new models of set theory from old ones by adjoining new sets in a controlled way, and its main purpose is to show that certain statements cannot be decided from a given list of axioms, such as ZFC, provided those axioms are consistent. The guiding idea is that we begin with a model $M$ of set theory and a partially ordered set $\mathbb{P}$ whose...