The stability conjecture for infinite set-homogeneous hypergraphs
Let , and let be an infinite set-homogeneous -hypergraph whose theory is stable, meaning that it does not have the order property: there are no formula , model , and sequences and such that if and only if . A -hypergraph is complete if every -element subset is a hyperedge, and its complete complement is obtained by replacing the hyperedge relation with its complement.
The stability conjecture. Any infinite set-homogeneous -hypergraph with stable theory is complete or has complete complement.
This predicts that stability forces an infinite set-homogeneous -hypergraph to be trivial up to complementation. The supplied text poses the statement without indicating whether it is known or resolved.
References
Primary source
Amir Assari, Narges Hosseinzadeh and Dugald Macpherson, “Set-homogeneous hypergraphs”, arXiv:2202.09613 (2022).
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.