Projective clone homomorphisms

DOI10.1017/JSL.2019.23MaRDI QIDQ6254693arXivFDO

Authors Manuel Bodirsky, Michael Pinsker, András Pongrácz

Publication date 16 September 2014

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2019.23

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categoricity and completeness of theories (03C35) Interpolation, preservation, definability (03C40) Subalgebras, congruence relations (08A30) Automorphisms and endomorphisms of algebraic structures (08A35) Applications of universal algebra in computer science (08A70)

arXiv classification

cs.CCcs.LOmath.LOmath.RA

Abstract: It is known that a countable $omega$-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.

This page was built for publication: Projective clone homomorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6254693)