Infinite big Ramsey degrees with infinitely many relations of one arity

Let LL be a relational language with finitely many unary relations and infinitely many relations of some arity a2a\geq 2. Let \strH\str H be a countable unrestricted LL-structure realising all relations from LL. Infinite big Ramsey degree conjecture. There is a finite LL-structure \strA\str A whose big Ramsey degree in \strH\str H is infinite. Moreover, the number of vertices of \strA\str A depends only on aa. The conjecture proposes that the finite big Ramsey degree theorem is sharp once infinitely many relations occur in a fixed arity at least two.

Sources & referencesView supporting material

Primary source

Samuel Braunfeld, David Chodounský, Noé de Rancourt, Jan Hubička, Jamal Kawach and Matěj Konečný, “Big Ramsey Degrees and Infinite Languages”, arXiv:2301.13116 (2024).

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

No solutions have been posted yet.