No label defined (Q4699340)

Introduced by C. C. Chang in the late fifties, MV-algebras are the Lindenbaum algebras of the infinite-valued calculus of Łukasiewicz. Computing disjunctive normal forms in this logic amounts to desingularizing a toric variety presented in terms of its associated fan -- and vice versa. Via Grothendieck's functor \(K_0\), countable MV-algebras correspond to those AF \(C^*\)-algebras whose Murray-von Neumann order is a lattice. (For background on the rapidly growing field of 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 (Trends in Logic, Stud. Log. Libr. 7, Kluwer, Dordrecht) (2000; Zbl 0937.06008)].) The authors investigate the MV-algebraic counterpart of the notion of closed ideal in a lattice-ordered abelian group. They use the categorical equivalence \(\Gamma\) between MV-algebras and abelian lattice-ordered groups with strong unit established in the present reviewer's paper ``Intepretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)]. For every such lattice-ordered group \((G,u)\) and corresponding MV-algebra \(A= \Gamma(G,u)\), it is known that the map sending \(J\) into the intersection \(I\) of \(J\) with the unit interval \([0,u]\) of \(G\) is a one-to-one order-preserving correspondence between the ideals of \(G\) and the ideals of \(A\). Further, the quotient lattice-group \(G/J\) canonically corresponds to \(A/I\). They characterize special-valued, basic, orthofinite and compactly generated MV-algebras. For the entire collection see [Zbl 0919.00038].