In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra A with constants 0,1 is Booolean-like in case for all a in A the two congruences generated by the pairs (a,0) and (a,1) respectively are complementary factor congruences of A. We also introduced the weaker notion of semi-Boolean-like algebra, showing that it retained some of the strong algebraic properties characterising Boolean algebras. In this paper, we continue the investigation of semi-Boolean like algebras. In particular, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations.
On semi-boolean-like algebras
SALIBRA, Antonino
2013-01-01
Abstract
In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra A with constants 0,1 is Booolean-like in case for all a in A the two congruences generated by the pairs (a,0) and (a,1) respectively are complementary factor congruences of A. We also introduced the weaker notion of semi-Boolean-like algebra, showing that it retained some of the strong algebraic properties characterising Boolean algebras. In this paper, we continue the investigation of semi-Boolean like algebras. In particular, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations.File | Dimensione | Formato | |
---|---|---|---|
2013-ledda-paoli-salibra2013semibooleanlike.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Accesso chiuso-personale
Dimensione
2.06 MB
Formato
Adobe PDF
|
2.06 MB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.