On the structure of complete MV-algebras
Using Mundici's equivalence functor between the category of commutative \(\ell\)-groups with a strong unit and the category of MV-algebras, the author proves that a complete MV-algebra is semisimple.
scientific article; zbMATH DE number 554147