A Stone-Weierstrass theorem for MV-algebras and unital -groups
Leonardo Manuel Cabrer, Daniele Mundici · Journal of Logic and Computation · 2014
Working jointly in the equivalent categories of MV-algebras and lattice-ordered abelian groups with strong order unit (for short, unital ℓ-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 A≅F (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.