Upward closure and amalgamation in the generic multiverse of a countable model of set theory
Abstract
I prove several theorems concerning upward closure and amalgamation in the generic multiverse of a countable transitive model of set theory. Every such model has forcing extensions and by adding a Cohen real, which cannot be amalgamated in any further extension, but some nontrivial forcing notions have all their extensions amalgamable. An increasing chain has an upper bound if and only if the forcing had uniformly bounded essential size in . Every chain of extensions adding Cohen reals is bounded above by for some -generic Cohen real .
Keywords
Cite
@article{arxiv.1511.01074,
title = {Upward closure and amalgamation in the generic multiverse of a countable model of set theory},
author = {Joel David Hamkins},
journal= {arXiv preprint arXiv:1511.01074},
year = {2015}
}
Comments
Based on my talk at the conference, Recent Developments in Axiomatic Set Theory at the Research Institute for Mathematical Sciences (RIMS) at Kyoto University, Japan in September, 2015. 14 pages. Commentary can be made on my blog at http://jdh.hamkins.org/upward-closure-and-amalgamation-in-the-generic-multiverse