О Бишопе я уже достаточно сказал в другом посте, теперь добавлю кое-что о Дэвисе. Тем более, что это будет кореллировать со старой темой "колония-метрополия".

Базовые результаты в области конструктивного анализа получены в конце 1940-х и начале 1950-х годов в школе Маркова (за исключением некоторых ещё более ранних, вроде последовательности Шпекера). Опубликовано всё это в 1958-62 годах в «Трудах МИАН». Найдите, будьте любезны, у Дэвиса хоть одну ссылочку на Цейтина (у которого, например, отдельная статья была про теоремы о среднем — причём упоминаемая Дэвисом конструкция с $\log(1+x^{n})$ по сути ничем не отличается от цейтинских трёхзвенных ломаных, кроме чуть большей мутности изложения идеи), или на Шанина (опус которого про конструктивные функциональные пространства даже был в своё время переведён "белыми людьми" из AMS). Не найдёте. Так что поздравляю: Вы сами же привели пример того, как "метрополия" кормится за счёт плагиирования результатов "помойной рашки".

С уважением,
Гастрит