Усиленная теорема о подстановке для вычислимых функционалов и некоторые ее следствия

Изучаются вопросы выполнимости функциональных подстановок в классе совместимых вычислимых функционалов. Обнаруживается связь между теоремой о неподвижной точке вычислимого оператора и некоторой теоремой о функциональной подстановке. Обсуждается вопрос об упорядочении вычислений.