jdh.hamkins.org
Upward closure in the toy multiverse of all countable models of set theory
The toy multiverse of all countable models of set theory is upward closed under countably many successive forcing extensions of bounded size… I’d like to explain a topic from my recent …