Independence results for set theory: forcing
Osnova sekce
-
We have discussed the method of forcing which was devised by P. Cohen in 1962. It is a general method which is used to show that some interesting set-theoretical and mathematical statements are independent over the standard set-theoretical axioms. For a quick introduction with not some many details, see my preprint A quick guide to independence results in set theory. For more details about forcing, see Kunen's book: Set theory. I also include personal recollections of Cohen, regarding his discovery of forcing.