Finitely bounded homogeneous structures have finitely bounded Ramsey expansions
Finitely bounded homogeneous structures have finitely bounded Ramsey expansions
A relational structure is homogeneous when every isomorphism between finite substructures extends to an automorphism. It is finitely bounded when its age is defined by finitely many forbidden finite structures, and a Ramsey expansion is an expansion whose age has the Ramsey property.
Bodirsky's Ramsey expansion conjecture. Every finitely bounded homogeneous structure has a finitely bounded Ramsey expansion.
The conjecture is motivated by applications of Ramsey expansions to canonical functions and infinite constraint satisfaction problems. The source presents it as open and notes that current methods generally work with the weaker assumption that a finitely bounded Ramsey expansion is already available.
Sources & referencesView supporting material
Primary source
Jan Hubička and Matěj Konečný, “Twenty years of Nešetřil's classification programme of Ramsey classes”, arXiv:2501.17293 (2025).
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.