Cyclic polymorphism conjecture for omega-categorical model-complete cores
Cyclic polymorphism conjecture for omega-categorical model-complete cores
Let be a countable -categorical model-complete core. A polymorphism is an operation preserving all relations of , and an endomorphism is a unary polymorphism. Cyclic polymorphism conjecture. Either primitively positively interprets all finite structures with parameters, or it has a -ary polymorphism and endomorphisms such that
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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.