On the strength of Ramsey's theorem
scientific article; zbMATH DE number 881258