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

by G Bellin, Ramsey