The lattice of clones of self-dual operations collapsed

arxiv(2023)

引用 0|浏览21
暂无评分
摘要
We prove that there are continuum many clones on a three-element set even if they are considered up to homomorphic equivalence. The clones we use to prove this fact are clones consisting of self-dual operations, i.e. operations that preserve the relation {(0, 1), (1, 2), (2, 0)}. However, there are only countably many such clones when considered up to equivalence with respect to minor-preserving maps instead of clone homomorphisms. We give a full description of the set of clones of self-dual operations, ordered by the existence of minor-preserving maps. Our result can also be phrased as a statement about structures on a three-element set: we give a full description of the structures containing the relation {(0, 1), (1, 2), (2, 0)}, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure A to the polymorphism clone of a finite structure 93 if and only if there is a primitive positive construction of B in U.
更多
查看译文
关键词
Clone,clone homomorphism,minor-preserving map,primitive positive construction,linear Mal'cev condition,three-valued logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要