Algebras with hyperidentities of the variety of Boolean algebras

Abstract

A characterisation is given of the algebras with hyperidentities of the variety of Boolean algebras. A structure theorem is proven for such algebras. As a preliminary the hyperidentities of the varieties of lattices, modular lattices, and distributive lattices are characterised: existence theorems are proved for finite bases of hyperidentities.