6 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 $\Gamma$ be a finite relational structure, under the usual conditions that may be assumed without loss of generality. Write $\operatorname{CSP}(\Gamma)$ for its constraint sati…

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…

Let $\mathbb{A}$ be a finite relational structure and let $\mathbb{B}$ be its idempotent core, meaning its core expanded by all singleton unary relations. Let $\mathscr{B}$ be the…

Let $\Gamma$ be the model-complete core of a structure first-order definable in the Fraïssé limit of a finitely bounded Fraïssé class. An expansion $\Gamma'$ of $\Gamma$ by finitel…

Let $\mathfrak A$ be an $\aleph_0$-categorical structure, and let its topological polymorphism clone be the polymorphism clone equipped with its natural topology of pointwise conve…