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.
生成讲解博客的中文版本
生成AI智能校验的中文版本