2 problems

Bodirsky–Pinsker tractability conjecture. If the model-complete core of $fmathbb A$ has no such expansion $fmathbb C$ for which $\operatorname{Pol}(fmathbb C)$ has a continuous clo…

Let $\mathbb{A}$ be a finite relational structure, and let $\mathscr{A}$ be its polymorphism clone. Let $\mathbf{1}$ be the clone of projections on a two-element set, and let an h1…