Partial impredicativity in reverse mathematics
scientific article; zbMATH DE number 6180294