The inductive strength of Ramsey's theorem for pairs
scientific article; zbMATH DE number 6680446