We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Boolean-like algebras of finite dimension

Abstract: We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of nBAs share many remarkable properties with the variety of Boolean algebras and with primal varieties. Exploiting the concept of central element, we extend the notion of Boolean power to that of semiring power and we prove two representation theorems: (i) Any pure nBA is isomorphic to the algebra of n-central elements of a Boolean vector space; (ii) Any member of a variety of nBAs with one generator is isomorphic to a Boolean power of this generator. This gives a new proof of Foster's theorem on primal varieties.
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:1806.06537 [cs.LO]
  (or arXiv:1806.06537v3 [cs.LO] for this version)

Submission history

From: Antonio Bucciarelli [view email]
[v1] Mon, 18 Jun 2018 07:54:39 GMT (53kb)
[v2] Tue, 29 Mar 2022 12:10:32 GMT (43kb)
[v3] Tue, 25 Oct 2022 15:31:13 GMT (43kb)

Link back to: arXiv, form interface, contact.