The distributivity spectrum of Baker's variety

Abstract

For every $n$, we evaluate the smallest $k$ such that the congruence inclusion $\alpha (\beta {\circ }_n\gamma )\subseteq \alpha \beta {\circ }_k\alpha \gamma$ holds in a variety of reducts of lattices introduced by K. Baker. We also study varieties with a near-unanimity term and discuss identities dealing with reflexive and admissible relations.

v3, v4 improvements and simplifications v5, v6 minor fixes

References in corpus (1)

• Relation identities in 3-distributive varieties

Cited by in corpus (1)

• Mitschke's Theorem is sharp