Equational type characterization for -complete MV-algebras.

The paper studies \(\sigma\)-complete MV-algebras. After some preliminaries on universal algebra and MV-algebras, Łukasiewicz tribes are studied in Section 4. Every Łukasiewicz tribe is a \(\sigma\)-complete MV-algebra, and can be considered as an algebra with an infinitary supremum operation, that is, an MV\(_\omega\)-algebra. In Section 5 it is proven that MV\(_\omega\)-algebras and \(\sigma\)-complete MV-algebras are essentially the same, so the former are an axiomatization of the latter. In Section 6, MV\(_\omega\)-algebras are viewed as MV-algebras with storage in the sense of Montagna. Further results concern the variety of MV\(_\omega\)-algebras. Of particular interest is Theorem 10.2, to the effect that the MV\(_\omega\)-algebra \([0,1]\) is equationally complete. Similarly, Theorem 11.3 gives equational completeness for the two-element Boolean algebra among \(\sigma\)-complete Boolean algebras. In Section 12, a kind of infinitary MV-algebras with product is considered, and one more standard completeness theorem is given (Theorem 12.9). Finally a result on (the absence of) injectives in the previous varieties is given in Section 13.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Equational type characterization for \(\sigma\)-complete MV-algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353357)