{
  "id": "2006.01057",
  "version": "v1",
  "published": "2020-06-01T16:32:42.000Z",
  "updated": "2020-06-01T16:32:42.000Z",
  "title": "How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions",
  "authors": [
    "Dan E. Willard"
  ],
  "comment": "Short conference announcements of these results at ASL-2020's Virtual N. American Meeting and at LFCS-2020",
  "categories": [
    "math.LO"
  ],
  "abstract": "Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multiplication as a 3-way relation (rather than as a total function). We now show these boundary-case evasions will collapse if the Law of the Excluded Middle is treated by tableau as a schema of logical axioms (instead of as derived theorems).",
  "revisions": [
    {
      "version": "v1",
      "updated": "2020-06-01T16:32:42.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03F25",
      "03F30"
    ],
    "keywords": [
      "second incompleteness theorem",
      "excluded middle pertains",
      "boundary-case exceptions",
      "publications showed semantic tableau",
      "showed semantic tableau admits"
    ],
    "tags": [
      "conference paper"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}