{
  "id": "math/0104072",
  "version": "v1",
  "published": "2001-04-06T13:55:47.000Z",
  "updated": "2001-04-06T13:55:47.000Z",
  "title": "More on mutual stationarity",
  "authors": [
    "Ralf Schindler"
  ],
  "comment": "7 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "Extending a result of Foreman and Magidor we prove that in the core model for almost linear iterations the following holds. There is a sequence (S^n_\\alpha : n<\\omega,\\alpha>0) such that each individual S^n_\\alpha is a stationary subset of \\aleph_{\\alpha+1} consisting of points of cofinality \\omega_1, and for all limits \\lambda and for all f:\\lambda -> \\omega do we have that (S^{f(\\alpha)}_\\alpha : \\alpha<\\lambda) is mutually stationary if and only if the range of f is finite.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2001-04-06T13:55:47.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03E45"
    ],
    "keywords": [
      "mutual stationarity",
      "core model",
      "linear iterations",
      "stationary subset",
      "individual"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 7,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2001math......4072S"
    }
  }
}