Cyclic polymorphism conjecture for omega-categorical model-complete cores

Let B{\mathfrak B} be a countable ω\omega-categorical model-complete core. A polymorphism is an operation preserving all relations of B{\mathfrak B}, and an endomorphism is a unary polymorphism. Cyclic polymorphism conjecture. Either B{\mathfrak B} primitively positively interprets all finite structures with parameters, or it has a kk-ary polymorphism ff and endomorphisms e1,e2e_1,e_2 such that

x1,,xn.  f(x1,,xk)=e1(f(e2(x2),,e2(xk),e2(x1))).\forall x_1,\dots,x_n.\; f(x_1,\dots,x_k)=e_1(f(e_2(x_2),\dots,e_2(x_k),e_2(x_1))).

This is proposed as a general tractability-related conjecture for omega-categorical cores; the source does not give a resolution status.

Sources & referencesView supporting material

Primary source

Manuel Bodirsky, “Complexity Classification in Infinite-Domain Constraint Satisfaction”, arXiv:1201.0856 (2019).

Progress summary

Never refreshed

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.