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 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.
Equational type characterization for sigma complete MV-algebras
FREYTES, HECTOR CARLOS
2013-01-01
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 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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
24 DBsigmaMV.pdf
Solo gestori archivio
Dimensione
283.35 kB
Formato
Adobe PDF
|
283.35 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.