Skip to main content
3 of 4
typo in title
Gerry Myerson
  • 39.9k
  • 10
  • 186
  • 247

Ramseyan property of structure

A binary relation $R$ on $\mathbb{N}$ is $(n,k)$-Ramseyan iff for every coloring $f:[\mathbb{N}]^n\rightarrow l$, there exists a subset $G$ of $\mathbb{N}$ such that $(G,R)$ is isomorphic to $(\mathbb{N},R)$ and $|f([G]^n)|\leq k$.

Question: Which binary relation is $(n,k)$-Ramseyan?

Is there any known result?

We know some special example. Say when $R$ is trivial (R=$\emptyset$), then it is $(n,1)$-Ramseyan (which is just the classic Ramsey theorem). When $(\mathbb{N},R)$ is a linear dense order structure then it is $(2,2)$-Ramseyan, $(3,12)$-Ramseyan and for every $n$ there exists $k_n$ such that it is $(n,k_n)$-Ramseyan.

Jiayi Liu
  • 909
  • 4
  • 10