{
  "id": "math/0007025",
  "version": "v4",
  "published": "2000-07-05T19:17:03.000Z",
  "updated": "2000-07-11T15:26:12.000Z",
  "title": "A note on an alleged proof of the relative consistency of P=NP with PA",
  "authors": [
    "Ralf Schindler"
  ],
  "comment": "4 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "We indicate that an argument of da Costa and Doria in fact proves P=NP. This observation makes their argument appear dubious. We isolate a weak version of one of their lemmas which would already prove P=NP. We point out that even this weak version is probably false. In fact, a generalized form of this weak version is provably false.",
  "revisions": [
    {
      "version": "v4",
      "updated": "2000-07-11T15:26:12.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "relative consistency",
      "alleged proof",
      "weak version",
      "da costa",
      "argument appear dubious"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 4,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2000math......7025S"
    }
  }
}