English

Upward closure and amalgamation in the generic multiverse of a countable model of set theory

Logic 2015-11-04 v1

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 WW has forcing extensions W[c]W[c] and W[d]W[d] 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 W[G0]W[G1]W[G_0]\subseteq W[G_1]\subseteq\cdots has an upper bound W[H]W[H] if and only if the forcing had uniformly bounded essential size in WW. Every chain WW[c0]W[c1]W\subseteq W[c_0]\subseteq W[c_1]\subseteq\cdots of extensions adding Cohen reals is bounded above by W[d]W[d] for some WW-generic Cohen real dd.

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