Congruence lifting of diagrams of finite Boolean semilattices requires large congruence varieties

Friedrich Wehrung, Jiri Tuma

We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice $2^4$, such that for any variety V…