3 papers
math.LO2026
The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
Zarathustra Brady, Petar ÄapiÄ, Petar MarkoviÄ +2
We find a new definition of colored edge graphs of finite algebras in the case of minimal Taylor algebras, a definition which includes the graphs invented by A. Bulatov. Next we pr…
math.LO2026
On 2-generated minimal Taylor algebras of size 4
Zarathustra Brady, Petar ÄapiÄ, VukaÅ¡in ÄinoviÄ +4
We prove that any 2-generated minimal Taylor algebra on a domain of size 4 is not simple. In addition, we find all such algebras up to isomorphism and term-equivalence.
cs.CC2026
SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
Petar MarkoviÄ, Miklós Maróti, Ralph McKenzie +1
We define a class of algebras, the semilattices of Mal'cev blocks (for short, SMB algebras). In a nutshell, these algebras are semilattices in which each element gets blown up into…