Boolean dominated MV-algebras (Q2576599): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:38, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Boolean dominated MV-algebras |
scientific article |
Statements
Boolean dominated MV-algebras (English)
0 references
13 December 2005
0 references
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).
0 references
hyper-Archimedean MV-algebra
0 references
semisimple MV-algebra
0 references
simple MV-algebra \(\Gamma\)-functor
0 references
\(\ell\)-group
0 references