Simple algebraic and topological characterizations of profinite MV-algebras (i.e., MV-algebras that are inverse limits of finite MV-algebras) are obtained. It is shown that these are the direct products of finite 艁ukasiewicz chains. We also prove that the category M of multisets is dually equivalent to the category P of profinite MV-algebras and complete homomorphisms. This duality extends the well-known duality between finite MV-algebras, and finite multisets on one hand, and the duality between sets with functions and atomic complete Boolean algebras with complete homomorphisms on the other hand.
Abstract. The article has two main objectives: characterize compact Hausdorff topological MV-algebras and Stone MV-algebras on one hand, and characterize strongly complete MV-algebras on the other hand. We obtain that compact Hausdorff topological MV-algebras are product (both topological and algebraic) of copies [0, 1] with the interval topology and finite Lukasiewicz chains with discrete topology. Going one step further we also prove that Stone MV-algebras are product (both topological and algebraic) of finite Lukasiewicz chains with discrete topology. In the second part we prove that an MV-algebra is isomorphic to its profinite completion if and only if it is profinite and its only maximal ideals of finite ranks are principal.To the memory of a great mentor, John V. Leahy (1937Leahy ( -2015.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations鈥揷itations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.