{
  "id": "1102.0596",
  "version": "v1",
  "published": "2011-02-03T02:33:52.000Z",
  "updated": "2011-02-03T02:33:52.000Z",
  "title": "A sneak preview of proof theory of ordinals",
  "authors": [
    "Toshiyasu Arai"
  ],
  "journal": "Annals of the Japan Association for Philosophy of Science vol. 20(2012), pp. 29-47",
  "categories": [
    "math.LO"
  ],
  "abstract": "This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and then the latter are analysed. We scarcely touch upon proof theoretical matters.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2011-02-03T02:33:52.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03F03"
    ],
    "keywords": [
      "proof theory",
      "sneak preview",
      "second order arithmetic",
      "proof theoretical matters",
      "recursively large ordinals"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2011arXiv1102.0596A"
    }
  }
}