{
  "id": "1705.03856",
  "version": "v1",
  "published": "2017-05-10T17:04:08.000Z",
  "updated": "2017-05-10T17:04:08.000Z",
  "title": "On the free Heyting algebra extension of a Hilbert algebra",
  "authors": [
    "J. L. Castiglioni",
    "H. J. San Martín"
  ],
  "comment": "21 pages, submitted to journal",
  "categories": [
    "math.LO"
  ],
  "abstract": "In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension of a Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207].",
  "revisions": [
    {
      "version": "v1",
      "updated": "2017-05-10T17:04:08.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "free heyting algebra extension",
      "hilbert algebra",
      "free implicative semilattice extension",
      "explicit construction",
      "left adjoint"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 21,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}