Introducing Boolean Semilattices

DOI10.1007/978-3-319-74772-9_4zbMath1459.03097OpenAlexW2790544399MaRDI QIDQ4586414

Clifford Bergman

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://lib.dr.iastate.edu/math_pubs/195

zbMATH Keywords

Boolean algebrasemilatticecanonical extensionBoolean semilatticeequationally definable principal congruenceBAOBoolean groupoid

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Semilattices (06A12)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of varieties with equationally definable principal congruences. II
• On regular and regularized varieties
• Varieties with equationally definable principal congruences
• On the structure of varieties with equationally definable principal congruences. IV
• On the structure of varieties with equationally definable principal congruences. III
• Axiomatizing complex algebras by games.
• On the structure of varieties with equationally definable principal congruences. I
• Varieties of complex algebras
• Infinitary varieties of structures closed under the formation of complex structures
• On varieties closed under the construction of power algebras
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Relational and Kleene-Algebraic Methods in Computer Science
• Boolean Algebras with Operators. Part I

This page was built for publication: Introducing Boolean Semilattices