{
  "id": "math/0407487",
  "version": "v4",
  "published": "2004-07-28T14:23:21.000Z",
  "updated": "2010-10-31T20:10:17.000Z",
  "title": "Covering the Baire space by families which are not finitely dominating",
  "authors": [
    "Heike Mildenberger",
    "Saharon Shelah",
    "Boaz Tsaban"
  ],
  "comment": "Small updates",
  "journal": "Annals of Pure and Applied Logic 140 (2006), 60--71",
  "doi": "10.1016/j.apal.2005.09.008",
  "categories": [
    "math.LO",
    "math.CO",
    "math.GN"
  ],
  "abstract": "It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of the reduced ultrapower w^w/U is greater than max{b,g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.",
  "revisions": [
    {
      "version": "v4",
      "updated": "2010-10-31T20:10:17.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03E15",
      "03E17",
      "03E35",
      "03D65"
    ],
    "keywords": [
      "baire space",
      "finitely dominating",
      "consistent",
      "nonprincipal ultrafilter",
      "oracle chain condition forcing"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2004math......7487M"
    }
  }
}