Equational type characterization for σ-complete MV -algebras

Abstract

In the framework of algebras with infinitary operations, an equational base for the category of σ-complete MV-algebras is given. In this way, we study some particular objects as simple algebras, directly irreducible algebras, injectives, etc. A completeness theorem with respect to the standard MV-algebra, considered as σ-complete MV-algebra, is obtained. Finally, we apply this result to the study of σ-complete Boolean algebras and σ-complete product MV-algebras.