We mimic the construction of guarded algebras and show how to extract a Church algebra out of the binary functions on an arbitrary algebra, containing a Church subalgebra of binary polynomial opera- tions. We put to good use the weak Boolean product representations of these Church algebras to obtain weak Boolean product representations of the original algebras. Although we cannot, in general, say much about the factors in these products, we identify a number of sufficient condi- tions for the stalks to be directly indecomposable. As an application, we prove that every skew Boolean algebra is a weak Boolean product of directly indecomposable skew Boolean algebras.

Boolean product representations of algebras via binary polynomials

SALIBRA, Antonino;
2018-01-01

Abstract

We mimic the construction of guarded algebras and show how to extract a Church algebra out of the binary functions on an arbitrary algebra, containing a Church subalgebra of binary polynomial opera- tions. We put to good use the weak Boolean product representations of these Church algebras to obtain weak Boolean product representations of the original algebras. Although we cannot, in general, say much about the factors in these products, we identify a number of sufficient condi- tions for the stalks to be directly indecomposable. As an application, we prove that every skew Boolean algebra is a weak Boolean product of directly indecomposable skew Boolean algebras.
2018
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
File in questo prodotto:
File Dimensione Formato  
Polynomials-salibra-ledda-paoli-17-apr-2015-final-version.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Accesso chiuso-personale
Dimensione 323.3 kB
Formato Adobe PDF
323.3 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/3661319
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 0
social impact