{
  "id": "2309.10860",
  "version": "v1",
  "published": "2023-09-19T18:14:00.000Z",
  "updated": "2023-09-19T18:14:00.000Z",
  "title": "The Craig Interpolation Property in First-order Gödel Logic",
  "authors": [
    "Seyed Mohammad Amin Khatami",
    "Massoud Pourmahdian",
    "Nazanin R. Tavana"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "In this article, a model-theoretic approach is proposed to prove that the first-order G\\\"odel logic, $\\mathbf{G}$, as well as its extension $\\mathbf{G}^\\Delta$ associated with first-order relational languages enjoy the Craig interpolation property. These results partially provide an affirmative answer to a question posed in [Aguilera, Baaz, 2017, Ten problems in G\\\"odel logic].",
  "revisions": [
    {
      "version": "v1",
      "updated": "2023-09-19T18:14:00.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03C40",
      "03B50",
      "03B52"
    ],
    "keywords": [
      "craig interpolation property",
      "first-order gödel logic",
      "first-order relational languages enjoy",
      "model-theoretic approach"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}