Big Ramsey degrees and topological dynamics

We consider Fra\"iss\'e structures whose objects have finite big Ramsey degree and ask what consequences this has for the dynamics of the automorphism group. Motivated by a theorem of D. Devlin about the partition properties of the rationals, we define the notion of a big Ramsey structure, a single structure which codes the big Ramsey degrees of a given Fra\"iss\'e structure. This in turn leads to the definition of a completion flow; we show that if a Fra\"iss\'e structure admits a big Ramsey structure, then the automorphism group admits a unique universal completion flow. We also discuss the problem of when big Ramsey structures exist and explore connections to the notion of oscillation stability defined by Kechris, Pestov, and Todor\v{c}evi\'c

[1]  P. Samuel,et al.  Ultrafilters and compactification of uniform spaces , 1948 .

[2]  L. Nguyen.  Big Ramsey degrees and divisibility in classes of ultrametric spaces , 2007 .

[3]  J. Auslander,et al.  Minimal flows and their extensions , 1988 .

[4]  Julien Melleray.  A note on Hjorth's oscillation theorem , 2010, J. Symb. Log..

[5]  P. Erdös,et al.  A Partition Calculus in Set Theory , 1956 .

[6]  S. Weinberger.  Free ℚ/ℤ actions , 1987 .

[7]  Keith R. Milliken,et al.  A Ramsey Theorem for Trees , 1979, J. Comb. Theory, Ser. A.

[8]  Greg Hjorth.  An Oscillation Theorem for Groups of Isometries , 2008 .

[9]  Vojtech Rödl,et al.  Partitions of Finite Relational and Set Systems , 1977, J. Comb. Theory A.

[10]  Erik Ellentuck,et al.  A new proof that analytic sets are Ramsey , 1974, Journal of Symbolic Logic.

[11]  V. Pestov.  ON FREE ACTIONS, MINIMAL FLOWS, AND A PROBLEM BY ELLIS , 1998 .

[12]  Stevo Todorcevic,et al.  Introduction to Ramsey Spaces , 2010 .

[13]  L. Nguyen Van Th'e.  Big Ramsey degrees and divisibility in classes of ultrametric spaces , 2007 .

[14]  Vojkan Vuksanovic,et al.  Canonical Partitions Of Universal Structures , 2006, Comb..

[15]  V. Uspenskij.  Compactifications of Topological Groups , 2002, math/0204144.

[16]  Lionel Nguyen Van Thé.  Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces and dynamics of their isometry groups , 2009, Eur. J. Comb..

[17]  V. Pestov,et al.  Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups , 2003 .

[18]  Fred Galvin,et al.  Borel sets and Ramsey's theorem , 1973, Journal of Symbolic Logic.

[19]  Julien Melleray,et al.  Metrizable universal minimal flows of Polish groups have a comeagre orbit , 2016 .

[20]  Neil Hindman,et al.  Algebra in the Stone-Cech Compactification: Theory and Applications , 1998 .

[21]  Julien Melleray,et al.  Polish groups with metrizable universal minimal flows , 2014, 1404.6167.

[22]  Claude Laflamme,et al.  Partition properties of the dense local order and a colored version of Milliken’s theorem , 2010, Comb..

[23]  Lionel Nguyen.  More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions , 2012 .

[24]  R. Fraïssé.  Sur l'extension aux relations de quelques propriétés des ordres , 1954 .