If you want to learn how Cohen invented/discovered forcing, read his 2002 article "The discovery of forcing" (Rocky Mountain journal). Available at Project euclidProject euclid.
Glorfindel
- 2.8k
- 6
- 28
- 38