Dependent choices and weak compactness
scientific article; zbMATH DE number 1735698