Hyperidentities of some generalizations of lattices
Let \(\tau : F\rightarrow \mathbb N\) be a type of algebras, where \(F\) is a set of fundamental operation symbols. A mapping \(\mu \) from \(F\) to the set of all terms of type \(\tau \) is called a hypersubstitution if the term assigned to an \(n\)-ary \(f\in F\) is also \(n\)-ary and \(\mu (x)=x\) for every variable \(x\). By induction on term complexity, \(\mu \) can be naturally extended from \(F\) to the whole set of terms of type \(\tau \). An identity \(p=q\) of type \(\tau \) is called a hyperidentity of a variety \(V\) if \(V\models \mu (p) = \mu (q)\) for every hypersubstitution \(\mu \) of type \(\tau \). The author presents bases and hyperbases of regular, normal, outermost or biregular hyperidentities of the variety of all lattices and the variety of distributive lattices.
- Binary hyperidentities of lattices
- Superidentities in the variety of lattices
- Varieties of lattices defined by Iqbalunnisa's identity
- Identities and quasi-identities in lattices of pseudovarieties
- A hyperbase for binary lattice hyperidentities
- On hyperlattices: congruence relations, ideals and homomorphism
- Hyperidentities of weakly idempotent lattices.
- Hypersubstitutions for the variety of star bands
- Hypersubstitutions in orthomodular lattices
- Hyperidentities and related concepts. I
- Hyperidentities and related concepts. II
- scientific article; zbMATH DE number 1359479 (Why is no real title available?)
- A note on hyperidentities
This page was built for publication: Hyperidentities of some generalizations of lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1966133)
