A Ramsey theorem for trees, with an application to Banach spaces
scientific article; zbMATH DE number 3589169