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.
2015
73
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10278/3421469
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 10
social impact