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

DOI10.1093/logcom/exu023zbMath1323.06011arXiv1312.7515OpenAlexW2118416881MaRDI QIDQ5262480

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

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

Related Items (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