{
  "id": "0711.2591",
  "version": "v1",
  "published": "2007-11-16T11:28:36.000Z",
  "updated": "2007-11-16T11:28:36.000Z",
  "title": "Large Cardinals and Definable Well-Orderings of the Universe",
  "authors": [
    "Andrew D. Brooke-Taylor"
  ],
  "comment": "18 pages, submitted with Kurt Goedel Centenary Research Prize Fellowship application",
  "journal": "Journal of Symbolic Logic 74, no. 2 (June 2009) pp 641-654",
  "doi": "10.2178/jsl/1243948331",
  "categories": [
    "math.LO"
  ],
  "abstract": "We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle diamond star at a proper class of successor cardinals.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2007-11-16T11:28:36.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03E35",
      "03E55",
      "03E25"
    ],
    "keywords": [
      "large cardinals",
      "definable well-ordering",
      "reverse easton forcing iteration",
      "principle diamond star",
      "proper classes"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 18,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2007arXiv0711.2591B"
    }
  }
}