English

Duality for finitely valued algebras

Logic 2025-05-19 v1

Abstract

The theory of natural dualities provides a well-developed framework for studying Stone-like dualities induced by an algebra L\mathbf{L} which acts as a dualizing object when equipped with suitable topological and relational structure. The development of this theory has, however, largely remained restricted to the case where L\mathbf{L} is finite. Motivated by the desire to provide a universal algebraic formulation of the existing duality of Cignoli and Marra or locally weakly finite MV-algebras and to extend it to a corresponding class of positive MV-algebras, in this paper we investigate Stone-like dualities where the algebra L\mathbf{L} is allowed to be infinite. This requires restricting our attention from the whole prevariety generated by L\mathbf{L} to the subclass of algebras representable as algebras of L\mathbf{L}-valued functions of finite range, a distinction that does not arise in the case of finite L\mathbf{L}. Provided some requirements on L\mathbf{L} are met, our main result establishes a categorical duality for this class of algebras, which covers the above cases of MV-algebras and positive MV-algebras.

Keywords

Cite

@article{arxiv.2505.11490,
  title  = {Duality for finitely valued algebras},
  author = {Marco Abbadini and Adam Přenosil},
  journal= {arXiv preprint arXiv:2505.11490},
  year   = {2025}
}

Comments

49 pages, 0 figures

R2 v1 2026-06-28T23:36:30.293Z