A Stone-Weierstrass theorem for MV-algebras and unital -groups.

DOI10.1093/LOGCOM/EXU023MaRDI QIDQ5262480zbMATH OpenOpenAlexFDO

Authors Daniele Mundici, Leonardo Manuel Cabrer

Publication date 15 July 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityisomorphism problemStone-Weierstrass theoremfinite presentationsMcNaughton functionslattice-ordered Abelian groupsfree MV-algebrasMarkov unrecognizability theoremprojective MV-algebrasunital \(\ell\)-groupsinfinite-valued Łukasiewicz calculusseparating subalgebrasstrong order units

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Other algebras related to logic (03G25) MV-algebras (06D35) Free lattices, projective lattices, word problems (06B25)

Abstract: Working jointly in the equivalent categories of MV-al-ge-bras and lattice-ordered abelian groups with strong order unit (for short, unital $ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$ of a finitely presented algebra $F$ to coincide with $F$. The separation and isomorphism conditions do not individually imply $A=F$. Various related problems, like the separation property of $A$, or $AcongF$ (for $A$ a separating subalgebra of $F$), are shown to be (Turing-)decidable. We use tools from algebraic topology, category theory, polyhedral geometry and computational algebraic logic.

Recommendations

• scientific article; zbMATH DE number 764334
• Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups
• Finitely Presented Abelian Lattice-Ordered Groups
• On the equivalence between MV-algebras and \(l\)-groups with strong unit
• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras

Cited in

(2)

• Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
• Recognizing free generating sets of \(\ell\)-groups

This page was built for publication: A Stone-Weierstrass theorem for MV-algebras and unital \(\ell\)-groups.

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