1 problem

0 votes0 replies1 view
Bodirsky–Pinsker tractability conjecture for reducts of finitely bounded homogeneous structures
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…
Conjectureopenconstraint-satisfaction infinite-domains polymorphism-clonesarXiv posted 2 days ago

Bodirsky–Pinsker tractability conjecture for reducts of finitely bounded homogeneous structures