Equivalence à la Mundici for commutative lattice-ordered monoids

DOI10.1007/S00012-021-00736-3MaRDI QIDQ2046358zbMATH OpenOpenAlexFDO

Authors Marco Abbadini

Publication date 17 August 2021

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

categorical equivalencecompact ordered spacescontinuous order-preserving functionslattice-ordered groupslattice-ordered monoidsMV-algebras

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Ordered semigroups and monoids (06F05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)

Recommendations

• Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• On the equivalence between MV-algebras and \(l\)-groups with strong unit
• On a definition of a variety of monadic \(\ell\)-groups.
• scientific article; zbMATH DE number 764334

Cites work

• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
• Bases of identities of varieties of lattice ordered semigroups
• Generating the algebraic theory of C(X): the case of partially ordered compact spaces
• Generating the algebraic theory of C(X)
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3130314 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3430627 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• scientific article; zbMATH DE number 3335057 (Why is no real title available?)
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• On subdirectly irreducible lattice-ordered semigroups
• On the axiomatisability of the dual of compact ordered spaces
• On vector lattice with a unit
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• The dual of compact ordered spaces is a variety

Cited in

(3)

• A finite axiomatization of positive MV-algebras
• Equivalence \`a la Mundici for commutative lattice-ordered monoids
• Varieties of MV-monoids and positive MV-algebras

Describes a project that uses

Uses Software

• Mace4
• Prover9

This page was built for publication: Equivalence à la Mundici for commutative lattice-ordered monoids

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