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

DOI10.1093/LOGCOM/EXU023zbMATH Open1323.06011arXiv1312.7515OpenAlexW2118416881MaRDI QIDQ5262480FDOQ5262480

Leonardo Manuel Cabrer, Daniele Mundici

Publication date: 15 July 2015

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

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.

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)

Cited In (2)

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

This page was built for publication: A Stone-Weierstrass theorem for MV-algebras and unital  -groups

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