Profinite MV-algebras and multisets. (Q890022): Difference between revisions

\textit{C. C. Chang} [Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)] introduced the equational class of MV-algebras as the Lindenbaum algebras of Łukasiewicz logic. He then gave an algebraic proof of the completeness theorem for this logic. Profinite MV-algebras are defined as inverse limits of finite MV-algebras. In the paper under review it is proved that these algebras coincide with direct products of finite Łukasiewicz chains. Also, the category of multisets is dually equivalent to the category of profinite MV-algebras with complete homomorphisms. For background on MV-algebras see the monograph by \textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \textit{D. Mundici} [Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. For advanced topics see the present reviewer's book [Advanced Łukasiewicz calculus and MV-algebras. Trends in Logic -- Studia Logica Library 35 (2011; Zbl 1235.03002)].