Успенский - это которому принадлежит фраза «я считаю Маркова выдающимся математиком, но его конструктивистскую деятельность не могу расценивать иначе как вредную»? Ну-ну, скажите-ка ему самому, что он конструктивист - интересно, куда он после этого Вас пошлёт :-))

Все упомянутые Вами лица - это специалисты по теории рекурсии, развиваемой в рамках и средствами "классической" теоретико-множественной математики. Конструктивистом никто из них не является, т.к. конструктивизм - это как раз разновидность "философской одержимости": «конструктивное направление в математике — математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики» (Марков). Не верите - проконсультируйтесь у того же Шеня.

> По наличию опубликованных научных работ по теме

Хороший критерий! Где можно посмотреть работы указанных авторов по УДК 510.25?

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