On 2-generated minimal Taylor algebras of size 4
Logic
2026-04-08 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2604.05214,
title = {On 2-generated minimal Taylor algebras of size 4},
author = {Zarathustra Brady and Petar Đapić and Vukašin Đinović and Petar Marković and Aleksandar Prokić and Veljko Toljić and Vlado Uljarević},
journal= {arXiv preprint arXiv:2604.05214},
year = {2026}
}