Projective clone homomorphisms
Logic
2023-06-22 v3 Computational Complexity
Logic in Computer Science
Rings and Algebras
Abstract
It is known that a countable -categorical structure interprets all finite structures primitively positively if and only if its polymorphism clone maps to the clone of projections on a two-element set via a continuous clone homomorphism. We investigate the relationship between the existence of a clone homomorphism to the projection clone, and the existence of such a homomorphism which is continuous and thus meets the above criterion.
Cite
@article{arxiv.1409.4601,
title = {Projective clone homomorphisms},
author = {Manuel Bodirsky and Michael Pinsker and András Pongrácz},
journal= {arXiv preprint arXiv:1409.4601},
year = {2023}
}
Comments
13 pages