Local-to-global cyclic polymorphism conjecture for omega-categorical cores
Local-to-global cyclic polymorphism conjecture for omega-categorical cores
Let be a countable -categorical model-complete core, and let be an -ary polymorphism of . Cyclic polymorphism conjecture. If, for every finite subset of the domain of , there is an endomorphism satisfying for all , then has a cyclic polymorphism modulo an endomorphism. The source does not state whether this local-to-global principle has been resolved.
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
Sign in to submit a solution.
No solutions have been posted yet.