The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Libor Barto, Michael Pinsker

We prove that an $\omega$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has…