Algebras with hyperidentities of the variety of Boolean algebras

摘要

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 hypel-identities.