jdh.hamkins.org
Upward countable closure in the generic multiverse of forcing to add a Cohen real
I’d like to discuss my theorem that the collection of models $M[c]$ obtained by adding an $M$-generic Cohen real $c$ over a fixed countable transitive model of set theory $M$ is upwardly coun…