A finite partition theorem with double exponential bounds
arXiv:math/9502234
Abstract
We prove that double exponentiation is an upper bound to Ramsey theorem for colouring of pairs when we want to predetermine the order of the differences of successive members of the homogeneous set.