The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915)

In his paper [published in J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], the present reviewer established a categorical equivalence \(\Gamma\) between MV-algebras and unital lattice-ordered Abelian groups (unital \(l\)-groups, for short). MV-algebras stand to Boolean algebras as infinite-valued Łukasiewicz logic stands to Boolean logic. A key tool for the construction of \(\Gamma\) was provided by ``good sequences'' of elements of MV-algebras. In the paper under review the authors show that the theory of MV-algebras is Morita equivalent to the geometric theory of unital \(l\)-groups. The two theories are not bi-interpretable. So this is a nontrivial result, depending on the fact that subobjects of good sequences arising from MV-algebras in a topos have a geometric construction, which in turn depends on heavy machinery on topos theory, to which the first author has given important contributions. As an application, a sheaf-theoretic version is given of the functor \(\Gamma\). A final section is added to give useful background information to readers not fluent in Morita equivalence and Grothendieck topoi. While the theory of unital \(l\)-groups is a modern formulation of the classical theory of Euclidean magnitudes with an Archimedean unit of measurement, C. C. Chang introduced MV-algebras to give an algebraic proof of the completeness of the Łukasiewicz axioms in infinite-valued logic -- i.e., the Boolean axioms minus idempotence. In the light of Elliott classification, by composing Grothendieck's \(K_0\) functor with \(\Gamma\) one gets a one-one correspondence of AF \(C^*\)-algebras whose Murray-von Neumann order of projections is a lattice, and countable MV-algebras. The significance of the paper under review also stems from the existing synergy between all these structures.