A Stone-Weierstrass theorem for MV-algebras and unital -groups (Q5262480)
From MaRDI portal
scientific article; zbMATH DE number 6458856
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Stone-Weierstrass theorem for MV-algebras and unital -groups |
scientific article; zbMATH DE number 6458856 |
Statements
A Stone-Weierstrass theorem for MV-algebras and unital -groups (English)
0 references
15 July 2015
0 references
free MV-algebras
0 references
lattice-ordered Abelian groups
0 references
strong order units
0 references
unital \(\ell\)-groups
0 references
projective MV-algebras
0 references
separating subalgebras
0 references
infinite-valued Łukasiewicz calculus
0 references
Stone-Weierstrass theorem
0 references
McNaughton functions
0 references
finite presentations
0 references
isomorphism problem
0 references
Markov unrecognizability theorem
0 references
decidability
0 references
