an:00761277
Zbl 0827.06012
Cignoli, Roberto
Free lattice-ordered abelian groups and varieties of MV-algebras
EN
Proceedings of the IX Latin American symposium on mathematical logic, Bah??a Blanca, Argentina, August 3-8, 1992. Part 1. Bah??a Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38, 113-118 (1993).
1993
a
06F20 06D30 03B50
Chang's completeness; Komori's classification; MV-algebra; ordered abelian groups; Weinberg's representation theorem
C. C. Chang introduced MV-algebras in 1958 as the Lindenbaum algebras of the infinite-valued sentential calculus of Lukasiewicz. Following the reviewer's paper ``Interpretation of AF \(C^*\)-algebras in Lukasiewicz sentential calculus'' [J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059)], a structure \(A= (A,0, 1, {}^*, \oplus)\) is called an MV-algebra iff \((A, 0, \oplus)\) is an abelian monoid, and \(x\oplus 1=1\), \(0^*=1\), \(1^*=0\), \((x^* \oplus y)^* \oplus y= (y^* \oplus x)^* \oplus x\); in the same paper it is shown that MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit. Chang proved that the variety of MV-algebras is generated by the rational unit interval \([0,1]\) equipped with negation \(1-x\) and truncated addition: he used quantifier elimination for totally ordered divisible abelian groups. Using logic-syntactic machinery, Rose and Rosser had previously proved an equivalent version of this theorem. Very recently, \textit{G. Panti} [J. Symb. Log. 60, No. 2, 563-578 (1995)] gave another proof using the De Concini Procesi theorem on elimination of points of indeterminacy in toric varieties. The author gives a simpler proof of the theorem using the above-mentioned categorical equivalence, together with Weinberg's well-known representation of free abelian lattice-groups as subdirect products of copies of the additive group \(\mathbb{Z}\) of integers with natural ordering. (The first elementary proof of the theorem is forthcoming, jointly by Cignoli and the present reviewer, in a special issue of Studia Logica.) Using the completeness of the theory of certain classes of totally ordered abelian groups, Komori characterized all subvarieties of MV-algebras. The author proves the same result, in a much simpler way, again making use of Weinberg's representation theorem.
For the entire collection see [Zbl 0812.00017].
D.Mundici (Milano)
Zbl 0597.46059