zbMATH — the first resource for mathematics

On archimedean \(MV\)-algebras. (English) Zbl 0951.06011
An \(MV\)-algebra \(\mathcal A\) constructed by means of an abelian lattice ordered group \(G\) with a strong unit (\(G\) is uniquely determined by \(\mathcal A\)) is called archimedean (or semisimple) if \(G\) is archimedean. A non-empty subset \(\{a_j\mid j\in J\}\) of \(\mathcal A\) is said to be orthogonal if \(a_i\wedge a_j=0\) for all distinct \(i,j\in J\). We say that \(\mathcal A\) is orthogonally complete if every orthogonal subset of \(\mathcal A\) possesses the supremum in \(\mathcal A\). The author has proven:
An \(MV\)-algebra \(\mathcal A\) is orthogonally complete, archimedean and atomic if and only if \(\mathcal A\) is complete and atomic.
An \(MV\)-algebra \(\mathcal A\) is orthogonally complete, archimedean and \(\alpha \)-atomic if and only if \(\mathcal A\) is a product of linearly ordered \(\alpha \)-atomic \(MV\)-algebras for some cardinal \(\alpha > 1\).
If an \(MV\)-algebra is archimedean and \(\alpha \)-atomic for a cardinal \(\alpha >1\) then \(\alpha \in \{2,\aleph _0,c\}\) where \(c\) is the cardinality of the continuum.
Any archimedean orthogonally complete \(MV\)-algebra \(\mathcal A\) is isomorphic to a product \(\mathcal A_1\times \mathcal A_2\times \mathcal A_3\times \mathcal A_4\) of \(MV\)-algebras such that \(\mathcal A_1\) is atomic, \(\mathcal A_2\) is \(\aleph _0\)-atomic, \( \mathcal A_3\) is \(c\)-atomic, and \(\mathcal A_4\) has no \(\alpha \)-atom for any cardinal \(\alpha >1\).
Several examples are presented.

06D35 MV-algebras
06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
Full Text: DOI EuDML
[1] R. Cignoli: Complete and atomic algebras of the infinite valued Łukasiewicz logic. Studia Logica 50, 3-4 (1991), 375-384. · Zbl 0753.03026 · doi:10.1007/BF00370678
[2] J. Jakubík: Konvexe Ketten in \(\ell \)-Gruppen. Časopis pěst. matem. 84 (1959), 53-63. · Zbl 0083.01803
[3] J. Jakubík: Direct product decompositions of \(MV\)-algebras. Czechoslovak Math. J. 44 (1994), 725-739. · Zbl 0821.06011 · eudml:31437
[4] J. Jakubík: On complete \(MV\)-algebras. Czechoslovak Math. J. 45 (1995), 473-480. · Zbl 0841.06010 · eudml:31482
[5] D. Mundici: Interpretation of \(AFC^*\)-algebras in Łukasiewicz sentential calculus. Journ. Functional. Anal. 65 (1986), 15-63. · Zbl 0597.46059 · doi:10.1016/0022-1236(86)90015-7
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.