Bodirsky–Pinsker tractability conjecture for reducts of finitely bounded homogeneous structures
Let be a finite-signature reduct of a finitely bounded homogeneous structure. Let be an expansion of the model-complete core of by finitely many constants, and let denote its polymorphism clone. Let denote the clone of projections.
Bodirsky–Pinsker tractability conjecture. If the model-complete core of has no such expansion for which has a continuous clone homomorphism to , then
This is the infinite-domain tractability conjecture for reducts of finitely bounded homogeneous structures, attributed in the source to Bodirsky and Pinsker. The supplied text does not state whether it has been resolved.
References
Primary source
Manuel Bodirsky and Antoine Mottet, “A Dichotomy for First-Order Reducts of Unary Structures”, arXiv:1601.04520 (2018).
Additional references
2 papers in this index state this conjecture (2015–2016). The statement above is taken from the most recent of them; the others are arXiv:1510.04521.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.