A survey on big Ramsey structures
Jan Hubička, Andy Zucker
TL;DR
The paper tackles the problem of when infinite structures have finite big Ramsey degrees and how those degrees can be captured by a single expansion, a big Ramsey structure (BRS). It develops a cohesive abstract framework showing that standard finite BRD proofs typically yield BRSs, and it surveys a wide range of examples within this framework, including unary-function expansions and coding-tree methods. Key contributions include the envelope technique for obtaining IRT, coding-tree approaches (Devlin/LSV) for joint BRD characterization, and a comprehensive catalog of known big Ramsey structures with their proof strategies. The work has implications for topological dynamics via universal minimal flows and provides practical tools for bounding or determining BRDs across broad Fraïssé-type settings.
Abstract
In recent years, there has been much progress in the field of structural Ramsey theory, in particular in the study of big Ramsey degrees. In all known examples of infinite structures with finite big Ramsey degrees, there is in fact a single expansion of the structure, called a big Ramsey structure, which correctly encodes the exact big Ramsey degrees of every finite substructure simultaneously. The first half of the article collects facts about this phenomenon that have appeared in the literature into a single cohesive framework, thus offering a conceptual survey of big Ramsey structures. We present some original results indicating that the standard methods of proving finite big Ramsey degrees automatically yield big Ramsey structures, often with desirable extra properties. The second half of the article is a survey in the more traditional sense, discussing numerous examples from the literature and showing how they fit into our framework. We also present some general results on how big Ramsey degrees are affected by expanding structures with unary functions.