-
arXiv:2208.07557 [pdf, ps, other]
SMB algebras I: On the variety of SMB algebras
Abstract: We begin the investigation of the variety of semilattices of Mal'cev blocks, which we call SMB algebras.
Submitted 16 August, 2022; originally announced August 2022.
MSC Class: 08B05 (Primary); 08A05; 08A45 (Secondary)
-
arXiv:0709.1934 [pdf, ps, other]
CD(4) has bounded width
Abstract: We prove that the constraint languages invariant under a short sequence of Jónsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves the previous result by Kiss and Valeriote and presents some evidence that the Larose-Zadori conjecture holds in the congruence-distributive case.
Submitted 12 September, 2007; originally announced September 2007.
MSC Class: 68N17 (Primary) 08A70; 08B10; 08B05; 03B70; 68T20 (Secondary)