Publication:2664587

DOI10.1016/J.JPAA.2021.106858zbMATH Open1497.06012arXiv2102.11913OpenAlexW3203237324MaRDI QIDQ2664587FDOQ2664587

Marco Abbadini, Luca Spada

Publication date: 17 November 2021

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic foundations of many-valued reasoning
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Galois theories
• Algebraic Analysis of Many Valued Logics
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Introduction to Boolean Algebras
• On quasivarieties and varieties as categories
• Exact categories and categories of sheaves
• The Lebesgue state of a unital abelian lattice-ordered group
• Advanced Łukasiewicz calculus and MV-algebras
• Galois Cohomology
• Profinite Groups, Arithmetic, and Geometry. (AM-67)
• Multiset theory
• On a Certain Class of Operator Algebras
• Classifying orbits of the affine group over the integers
• MV-algebras, infinite dimensional polyhedra, and natural dualities
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Independence of the axiomatic system for MV-algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• Stone duality for real-valued multisets
• The dual adjunction between MV-algebras and Tychonoff spaces
• The Concept of Multiset
• Multisets, heaps, bags, families: What is a multiset?
• Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Sets, Fuzzy Sets, Multisets and Functions
• Word problems in Elliott monoids
• Sobrification of partially ordered sets
• On the abstract characterization of quasivarieties
• Fans, decision problems and generators of free abelian \(\ell\)-groups

Cited In (1)

• Separable MV-algebras and lattice-ordered groups

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)