TL;DRAbstract
The method of forcing was invented by Cohen (1963) towards the construction of non-standard models of ZFC, so that “new axioms” could be proved consistent with the standard ones. Our retelling of the basics of forcing found in this chapter is indebted primarily to the user-friendly account found in Shoenfield (1971). The influence of the expositions in Burgess (1978), Jech (1978b), and Kunen (1980) should also be evident.
Chat with Paper
AI Agents for this Paper
The method of forcing was invented by Cohen (1963) towards the construction of non-standard models of ZFC, so that “new axioms” could be proved consistent with the standard ones. Our retelling of the basics of forcing found in this chapter is indebted primarily to the user-friendly account found in Shoenfield (1971). The influence of the expositions in Burgess (1978), Jech (1978b), and Kunen (1980) should also be evident.
Keywords
Chat
Click to start Chat