Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
E-mail: Ключевые слова: вычислимость, модель, нумерация, конструктивизация (вычислимая нумерация), конструктивная модель, автоморфизм модели, устойчивое отношение; алгебраическая, программная и равномерная сводимости по Успенскому, автосводимость, алгоритмические размерности и структуры алгоритмических сводимостей.
Коды УДК: 510.53, 510.67
Основные темы научной работы:
Теория алгоритмов, вычислимость, теория конструктивных (рекурсивных) моделей. Приложения этих областей в информатике.
Основные публикации:
С.Т.Федоряев, “Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями”, Алгебра и логика, 34:6 (1995), 667-680.
S.T.Fedoryaev, “Countability of widths of algebraic reducibility structures for models in some classes”, Siberian Advances in Mathematics, 3:2, Allerton Press (1993), 81-103.
С.Т.Федоряев, “Конструктивизируемые модели с линейной структурой алгебраической сводимости”, Мат. заметки, 48:48 (1990), 106-111.
