{
  "id": "math/9201243",
  "version": "v1",
  "published": "1991-01-15T00:00:00.000Z",
  "updated": "1991-01-15T00:00:00.000Z",
  "title": "The Hanf numbers of stationary logic. II. Comparison with other logics",
  "authors": [
    "Saharon Shelah"
  ],
  "journal": "Notre Dame J. Formal Logic 33 (1992), 1--12",
  "categories": [
    "math.LO"
  ],
  "abstract": "We show that the ordering of the Hanf number of L_{omega, omega}(wo) (well ordering), L^c_{omega, omega} (quantification on countable sets), L_{omega, omega}(aa) (stationary logic) and second order logic, have no more restraints provable in ZFC than previously known (those independence proofs assume CON(ZFC) only). We also get results on corresponding logics for L_{lambda, mu} .",
  "revisions": [
    {
      "version": "v1",
      "updated": "1991-01-15T00:00:00.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "hanf number",
      "stationary logic",
      "comparison",
      "independence proofs assume",
      "second order logic"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}