{
  "id": "1408.2493",
  "version": "v2",
  "published": "2014-08-11T19:09:48.000Z",
  "updated": "2015-04-07T12:29:28.000Z",
  "title": "The Principle of Open Induction on Cantor space and the Approximate-Fan Theorem",
  "authors": [
    "Wim Veldman"
  ],
  "comment": "This paper has been withdrawn by the author. The proof of Theorem 6.2 is incorrect and the Theorem probably fails to be true",
  "categories": [
    "math.LO"
  ],
  "abstract": "The paper is a contribution to intuitionistic reverse mathematics. The Principle of Open Induction on Cantor space is the statement that every open subset of Cantor space that is progressive with respect to the lexicographical ordering of Cantor space coincides with Cantor space. This principle follows from Brouwer's principle of induction on bars in Baire space and it implies the Fan Theorem. Working in a weak system for intuitionistic analysis we list a large number of equivalents of this principle, including an extension of the Fan Theorem called the Approximate-Fan Theorem. We prove that the Approximate-Fan Theorem is stronger than the Fan Theorem.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2014-08-11T19:09:48.000Z",
      "comment": "arXiv admin note: text overlap with arXiv:1311.6988, arXiv:1106.2738",
      "journal": null,
      "doi": null
    },
    {
      "version": "v2",
      "updated": "2015-04-07T12:29:28.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03F55",
      "03F35"
    ],
    "keywords": [
      "approximate-fan theorem",
      "open induction",
      "cantor space coincides",
      "intuitionistic reverse mathematics",
      "baire space"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2014arXiv1408.2493V"
    }
  }
}