On some lattice quotients of \(MV\)-algebras (Q1179836): Difference between revisions

Introduced by C. C. Chang, MV algebras are to the infinite-valued logic of Łukasiewicz as Boolean algebras are to classical logic. As proved by the present reviewer in his paper in J. Funct. Anal. 65, 15-63 (1986; Zbl 0597.46059), MV algebras are categorically equivalent to lattice- ordered abelian groups with strong unit; further, countable MV algebras are in one-one correspondence with the class of AF \(C^*\)-algebras whose Murray von Neumann order of projections is a lattice. Under this correspondence, the primitive spectrum of the \(C^*\)-algebra is homeomorphic to the spectrum of prime ideals of the MV algebra. Using Belluce's spectral theory for MV algebras, the authors prove that for every subchain \(C\) of \(\mathbb{N}\cup\{\mathbb{N}\}\) having a maximum element, there is a totally ordered MV algebra \(A\) such that the order-ideal space of \(C\) is homeomorphic to the prime ideal space of \(A\). In subsequent work, the authors have significantly extended this result.