Ramsey Degrees

Our results (some are already known)

Our Results of which some are known

nathan

Survey with no proofs

When Ramsey Theory Fails …

zeta Z

Countable Ordinals and big Ramsey Degrees by Masulovic and Sobot HERE

They prove T(a,zeta)le 2^a. We have easier proof in our ordinal paper.

eta

Some Partition Theorems and Ultrafilters on Omega PhD by Denis Devlin HERE

This contains much about T(a,eta). It cites Galvin (unpublished) T(2,eta)=2 but this is unpublished. I can't tell if it has the exact formula for T(a,eta).

A proof of a partition theorem for [Q]^n by Vojan Vuksanovic HERE

Easier proof of the main theorems in Devlin's thesis. It does have the exact formula for T(a,eta), though I do not know if Devlin also did that.

A Useful Lemma

A partition theorem by Halpern and Lauchli. HERE

This paper proves a Ramsey Theorem on trees that is NOT about Ramsey Degrees but is used in many later papers. The proof is difficult. There are easier proofs in the following sources:

Introduction to Ramsey Spaces by Todorcevic HERE

Ramsey Theory for Product Spaces by Dodosa and Kanellopoulos. HERE

Some Appliations of Forcing by Todorceic and Farah. (This is a book that is not online.)

Ordinals

Countable Ordinals and big Ramsey Degrees by Masulovic and Sobot HERE

Let alpha be a countable ordinal. They show: (forall a)[T(a,alpha)<infty is IFF alpha le omega^omega].

Scattered Linear Orderings

Big Ramsey Spectra of Countable Chains by Masulovi. HERE

Let L be a Scattered Linear Order.

An Order Type Decomposition Theorem by Richard Laver HERE T(1,L)<infty.

Big Ramsey Spectra of countable chains by Dragan Masulovic HERE

If L has finite Hasudroff rank and bounded finite sums then (forall a)[T(a,L)<infty].

If L has infinite Hasudroff rank then (forall age 2)[T(a,L)=infty].

Rado and Similar Graphs

R_a is the Rado a-ary Hypergraph.

The notion of finite Ramsey Degree is much more general here, looking at coloring finite substructures of the graph.

Edge Partitions of the Rado Graph by Pouzet and Sauer. HERE

They prove that for all finite colorings of the EDGES of the Rado graph R_2 there is an isomorphic copy of R_2 which only uses 2 colors. We can cal this T(2,R_2)le 2. See next paper for T(2,R_2)ge 2.

Canonical Partitions of Universal Structures by Laflamme, Sauer, Vuksanovic HERE They show how to computer T(n,R_2) exactly though do not give any numbers explicitly.

Counting Canonical Parttions in the Random Graph by Jean Larson HERE They give an algorithm to computer T(n,R_2).

Strong Embeddings of Graphs into Colored Graphs By Erdos, Hajnal, Posa. HERE

Coloring Subgraphs of the Rado Graph by Sauer HERE They prove that there exists a finite coloring of the EDGES of the Rado graph R_2 such that any isomorphic copy of R_2 uses ge 2 colors.

Big Ramsey Degrees of 3-Uniform Hypergraphs are Finite by Balko, Chodounsky, Hubicka,Konecny, Vena HERE

They show that R_3 has finite big Ramsey degree.

The Ramsey Theory of Henson Graphs by Dobrinen Here

The Henson graph H_k is k-clique free analogue of the Rado graph. This paper shows that H_k has finite big Ramsey Degree.

Too hard for me

Big Ramsey Degree and Topological Dynamcs By Andy Zucker. HERE

Finite Big Ramsey Degree in Universal Structures By Masulovic HERE

Ramsey degrees of finite ultrametric spaces, ultrametric Urysohn spaces, and dynamics of their isometry groups By Lionel Nguyen Van The HERE

Big Ramsey Degrees using Paramter Spaces By Jan Hubicka HERE