Send the following on WhatsApp
Continue to ChatUpward countable closure in the generic multiverse of forcing to add a Cohen real https://jdh.hamkins.org/upward-countable-closure-in-the-generic-multiverse-of-forcing-to-add-a-cohen-real/
Upward countable closure in the generic multiverse of forcing to add a Cohen real https://jdh.hamkins.org/upward-countable-closure-in-the-generic-multiverse-of-forcing-to-add-a-cohen-real/