When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems

Pierre Gillibert, Julius Jonušas, Michael Kompatscher +2

We produce a class of $\omega$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $\omega$-categorical s…