{
  "id": "2002.12715",
  "version": "v1",
  "published": "2020-02-28T13:56:21.000Z",
  "updated": "2020-02-28T13:56:21.000Z",
  "title": "Priestley duality for MV-algebras and beyond",
  "authors": [
    "Wesley Fussner",
    "Mai Gehrke",
    "Sam van Gool",
    "Vincenzo Marra"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2020-02-28T13:56:21.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "06D50",
      "06D35",
      "03G10"
    ],
    "keywords": [
      "dual spaces",
      "first-order conditions",
      "non-lattice binary operations",
      "partial binary operations",
      "equations axiomatizing mv-algebras"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}