{
  "id": "math/0508507",
  "version": "v1",
  "published": "2005-08-25T13:57:24.000Z",
  "updated": "2005-08-25T13:57:24.000Z",
  "title": "Computable structures of rank omega_1^{CK}",
  "authors": [
    "Julia Knight",
    "Jessica Millar"
  ],
  "comment": "13 pages, submitted to the Journal of Mathematical Logic Aug 2004",
  "categories": [
    "math.LO"
  ],
  "abstract": "We obtain a computable structure of Scott rank omega_1^{CK} (call this ock), and give a general coding procedure that transforms any hyperarithmetical structure A into a computable structure A' such that the rank of A is ock, ock+1, or < ock iff the same is true of A'.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2005-08-25T13:57:24.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C57",
      "03D60"
    ],
    "keywords": [
      "computable structure",
      "scott rank",
      "general coding procedure"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 13,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2005math......8507K"
    }
  }
}