{
  "id": "1807.11848",
  "version": "v1",
  "published": "2018-07-31T15:00:41.000Z",
  "updated": "2018-07-31T15:00:41.000Z",
  "title": "Interpolation in extensions of first-order logic",
  "authors": [
    "Guido Gherardi",
    "Paolo Maffezioli",
    "Eugenio Orlandelli"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "We provide a constructive proof of the interpolation theorem for extensions of classical first order logic with a special type of geometric axioms, called singular geometric axioms. As a corollary, we obtain a direct proof of interpolation for first-order logic with identity.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2018-07-31T15:00:41.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "first-order logic",
      "extensions",
      "singular geometric axioms",
      "classical first order logic",
      "special type"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}