Physical Sciences and Mathematics Commons^™

Regressive Functions On Pairs, Andrés Eduardo Caicedo

Andrés E. Caicedo

We compute an explicit upper bound for the regressive Ramsey numbers by a combinatorial argument, the corresponding function being of Ackermannian growth. For this, we look at the more general problem of bounding g(n, m), the least l such that any regressive function ƒ: [m, l][2]→ℕ admits a min-homogeneous set of size n. Analysis of this function also leads to the simplest known proof that the regressive Ramsey numbers have rate of growth at least Ackermannian. Together, these results give a purely combinatorial proof that, for each m, g(·, m) has rate of growth precisely Ackermannian, considerably improve the previously …