Are locally finite MV-algebras a variety?

DOI10.1016/J.JPAA.2021.106858MaRDI QIDQ2664587zbMATH OpenOpenAlexFDO

Authors Marco Abbadini, Luca Spada

Publication date 17 November 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2102.11913

zbMATH Keywords

equational class, locally finite, multiset, MV-algebra, variety

Mathematics Subject Classification ID

MV-algebras (06D35) Categories of algebras (08C05) Equational categories (18C05)

Abstract: We answer Mundici's problem number 3 (D. Mundici. Advanced {L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon the duality between locally finite MV-algebras and the category of multisets by R. Cignoli, E. J. Dubuc and D. Mundici, and categorical characterisations of varieties and quasi-varieties proved by J. Duskin, J. R. Isbell, F. W. Lawvere and others. In fact no knowledge on MV-algebras is needed, apart from the aforementioned duality.

Review text

On page 235 of [Advanced Łukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)], \textit{D. Mundici} points out that the class of locally finite MV-algebras is closed under the formation of homomorphic images and subalgebras. He also notes that this class, when viewed as a category, has products. He then asks (in Problem 3) whether this class is an equationally definable class. (Is it a variety?) The question is answered in both negative and positive senses in the paper under review. The main results are: \begin{itemize} \item[(1)] The category of locally finite MV-algebras is not equivalent to any finitary variety. \item[(2)] The category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasivariety. \item[(3)] The category of locally finite MV-algebras is equivalent to an infinitary variety with operations of at most countable arity. \item[(4)] The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. \end{itemize} These results are established by working in the dual category of multisets. This duality is developed in the paper by \textit{R. Cignoli} et al. [J. Pure Appl. Algebra 189, No. 1--3, 37--59 (2004; Zbl 1055.06004)].

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Are locally finite MV-algebras a variety?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2664587)