{
  "id": "1511.01074",
  "version": "v1",
  "published": "2015-11-03T20:42:02.000Z",
  "updated": "2015-11-03T20:42:02.000Z",
  "title": "Upward closure and amalgamation in the generic multiverse of a countable model of set theory",
  "authors": [
    "Joel David Hamkins"
  ],
  "comment": "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",
  "categories": [
    "math.LO"
  ],
  "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 $W$ has forcing extensions $W[c]$ and $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[G_0]\\subseteq W[G_1]\\subseteq\\cdots$ has an upper bound $W[H]$ if and only if the forcing had uniformly bounded essential size in $W$. Every chain $W\\subseteq W[c_0]\\subseteq W[c_1]\\subseteq\\cdots$ of extensions adding Cohen reals is bounded above by $W[d]$ for some $W$-generic Cohen real $d$.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2015-11-03T20:42:02.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "set theory",
      "generic multiverse",
      "countable model",
      "amalgamation",
      "extensions adding cohen reals"
    ],
    "tags": [
      "conference paper"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 14,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2015arXiv151101074H"
    }
  }
}