interpreted: a parametric version of Ramsey’s theorem. In: Logic and computation (1987)

by G Bellin, Ramsey