Boolean dominated MV-algebras (Q2576599): Difference between revisions

An MV-algebra \(A\) is semisimple if the intersection of its maximal ideals is the zero ideal. \(A\) is said to be hyper-Archimedean if it is semisimple together with all its homomorphic images. Various characterizations of this property are known. For background see the monograph of \textit{R. L. O. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici} [Algebraic foundations of many-valued reasoning, Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]. As a generalization of hyper-Archimedean MV-algebras, in the paper under review the authors consider ``Boolean dominated'' MV-algebras, i.e., those MV-algebras \(A\) such that, whenever \(x\) is an element of \(A\) such that no multiple of \(x\) equals 1, then there is a Boolean element \(y\) of \(A\) such that \(x\leq y\neq 1\). Various classes of MV-algebras are related to Boolean dominated MV-algebras, and examples are presented. Warning: On page 537 of this paper, the definition of ``locally finite'' MV-algebra (i.e., without proper homomorphic images) does not conform to standard terminology in universal algebra, where \(A\) is locally finite if all its finitely generated subalgebras are finite. This may lead to confusion: there exist infinite singly generated simple MV-algebras (see, for instance, Corollary 7.2.7 in the above-mentioned monograph).