Finite big Ramsey degrees for Fraïssé limits with finite constraints
Finite big Ramsey degrees for Fraïssé limits with finite constraints
Let be a relational Fraïssé class with finitely many relations and a finite constraint set. A constraint set is a finite set of finite structures such that membership in is characterized by omitting these structures as induced substructures. Suppose that satisfies the Ramsey property or has finite small Ramsey degrees. Finite big Ramsey degrees conjecture. The Fraïssé limit of has finite big Ramsey degrees.
The conjecture proposes that finite small Ramsey degrees, together with finite relational complexity and finitely many constraints, suffice to obtain finite big Ramsey degrees for the corresponding homogeneous structure. The suggested approach is to generalize strong coding-tree and forcing methods from Henson graphs and the Rado graph to Fraïssé limits in arbitrary finite relational languages; its resolution is not supplied here.
Sources & referencesView supporting material
Primary source
Natasha Dobrinen, “Ramsey Theory on Infinite Structures and the Method of Strong Coding Trees”, arXiv:1909.05985 (2020).
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.