The stability conjecture for infinite set-homogeneous hypergraphs
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.