The Notion of Forcing
In this chapter we present a general technique, called forcing, for extending models of ZFC. The main ingredients to construct such an extension are a model V of ZFC (e.g., V=L), a partially ordered set ℙ=(P,≤) contained in V, as well as a special subset G of P which will not belong to V. The extended model V[G] will then consist of all sets which can be “described” or “named” in V, where the “naming” depends on the set G. The main task will be to prove that V[G] is a model of ZFC as well as to decide (within V) whether a given statement is true or false in a certain extension V[G].
To get an idea of how this is done, think for a moment that there are people living in V. Notice that for these people, V is the unique set-theoretic universe which contains all sets. Now, the key point is that for any statement, these people are in fact able to compute whether the statement is true or false in a particular extension V[G], even though they have almost no information about the set G (in fact, they would actually deny the existence of such a set).
- 3.Paul J. Cohen: Independence results in set theory. In: The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, J.W. Addison, L. Henkin, A. Tarski (eds.). Studies in Logic and the Foundation of Mathematics, pp. 39–54. North-Holland, Amsterdam (1965) Google Scholar
- 5.Paul J. Cohen: The discovery of forcing, Proceedings of the Second Honolulu Conference on Abelian Groups and Modules, Honolulu, HI, 2001, vol. 32, pp. 1071–1100 (2002) Google Scholar
- 9.Gregory H. Moore: The origins of forcing. In: Logic Colloquium ’86, Proceedings of the Colloquium held in Hull, U.K., July 13–19, 1986, F.R. Drake, J.K. Truss (eds.). Studies in Logic and the Foundation of Mathematics, vol. 124, pp. 143–173. North-Holland, Amsterdam (1988) Google Scholar