Regressive Ramsey numbers are Ackermannian
  We give an elementary proof of the fact that regressive Ramsey numbers are Ackermannian. This fact was first proved by Kanamori and McAloon with mathematical logic techniques. 
Menachem Kojman, Saharon Shelah