We establish a connection between skew Boolean algebras and Church algebras. We prove that the set of all semicentral elements in a right Church algebra forms a right-handed skew Boolean algebra for the properly defined operations. The main result of this paper states that the variety of all semicentral right Church algebras of type is term equivalent to the variety of right-handed skew Boolean algebras with additional regular operations. As a corollary to this result, we show that a pointed variety is a discriminator variety if and only if it is a 0-regular variety of right-handed skew Boolean algebras.
The connection of skew Boolean algebras and discriminator varieties to Church algebras
SALIBRA, Antonino
2015-01-01
Abstract
We establish a connection between skew Boolean algebras and Church algebras. We prove that the set of all semicentral elements in a right Church algebra forms a right-handed skew Boolean algebra for the properly defined operations. The main result of this paper states that the variety of all semicentral right Church algebras of type is term equivalent to the variety of right-handed skew Boolean algebras with additional regular operations. As a corollary to this result, we show that a pointed variety is a discriminator variety if and only if it is a 0-regular variety of right-handed skew Boolean algebras.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
karin-nino-revised-29-august-2014-au-style.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Accesso chiuso-personale
Dimensione
334.61 kB
Formato
Adobe PDF
|
334.61 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.