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.
S.T.Fedoryaev, “Algorithmic reducibilities in Effective Model Theory and their structural properties”, to appear, 1996 (Published online)
4.
C.С.Гончаров, К.В.Адаричева, П.Е.Алаев, С.Т.Федоряев и др, “Алгоритмические и структурные свойства моделей”, Отчет НИР/НИОКР № 96-01-01525 (Российский фонд фундаментальных исследований), 1996
1995
5.
С.Т.Федоряев, “Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями”, Алгебра и логика, 34:6 (1995), 667-680; S.T.Fedoryaev, “Recursively inconsistent algorithmic problems on 1-constructivizable relatively complemented distributive lattices”, Algebra and Logic, 34:6 (1996), 371-378
J.Blanck, S.T.Fedoryaev, V.Stoltenberg-Hansen, “Nonequivalent effective representations of domains”, to appear (Uppsala University, Sweden), 1995, 34p (Published online)
7.
S.T.Fedoryaev, “Decidable algorithmic problems on relatively complemented distributive lattices which cannot be simultaneously decidable”, Bulletin of Symbolic Logic, 1:1 (1995), 109
1993
8.
С.Т.Федоряев, “Счётность ширины структур алгебраической сводимости для моделей некоторых классов”, Математическая логика и теория алгоритмов, Труды ИМ СО РАН, 25, Институт Математики СО РАН, Новосибирск, 1993, 133-154 math.nsc.ru/journals/ti/25/ti_25_007.pdf
9.
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
10.
С.Т.Федоряев, “Разрешимые проблемы на дистрибутивных решетках с относительными дополнениями, неразрешимые одновременно”, Тезисы докладов III Международной конференции по алгебре (Красноярск, 1993), 1993, 345-346
11.
S.T.Fedoryaev, “Decidable algorithmic problems on relatively complemented distributive lattices which cannot be simultaneously decidable”, Logic Colloquium’92 (Keele, England), 1993
12.
С. Т. Федоряев, “Счетность ширины структур алгебраической сводимости для моделей некоторых классов”, Тр. Ин-та математики СО РАН, 25 (1993), 133–154
1991
13.
С.Т.Федоряев, Структурные свойства алгебраической сводимости конструктивизаций, Автореферат Дисс.канд. физ.-матем. наук, Институт Математики СО РАН, Новосибирск, 1991 , 12 с.
14.
С.Т.Федоряев, Структурные свойства алгебраической сводимости конструктивизаций, Диссертация кандидата физико-математических наук, Институт Математики СО РАН, Новосибирск, 1991 , 131 с.
1990
15.
С.Т.Федоряев, “Некоторые свойства алгебраической сводимости конструктивизаций”, Алгебра и логика, 29 (1990), 597-612; S.T.Fedoryaev, “Some properties of algebraic reducibility of constructivizations”, Algebra and Logic, 29 (1990), 395-405
С.Т.Федоряев, “О счетности ширины структур алгебраической сводимости для моделей некоторых классов”, Тезисы докладов X Всесоюз. конф. по матем. логике (Алма-Ата, ноябрь 1990), Наука, 1990, 155
18.
S.T.Fedoryaev, “Some properties of algebraic reducibility of constructivizations”, Proc. Third Logical Biennial Kleene'90 (Sofia, Bulgaria, June 1990), 1990, 24-25
19.
С.Т.Федоряев, “Конструктивизируемые модели с линейной структурой алгебраической сводимости”, Мат. заметки, 48:48 (1990), 106-111; S.T.Fedoryaev, “Constructivizable models with linear structure of algebraic reducibility”, Mathematical notes of the Academy of Sciences of the USSR, 48 (1990), 1245-1249
S.T.Fedoryaev, “Constructivizable models with linear structure of algebraic reducibility”, Mathematical notes of the Academy of Sciences of the USSR, 48 (1990), 1245-1249
С.Т.Федоряев, “Независимые алгоритмические массовые проблемы. Проблемы спектра и соотношений алгоритмических размерностей”, Препринт АН СССР. Сиб. Отделение. Ин-т математики, 1990, № 23 , 41 с.
1989
22.
С.Т.Федоряев, “О структурах алгебраической сводимости позитивных нумераций”, Теория алгоритмов и ее приложения, Вычислительные системы, 129, Институт Математики СО РАН, Новосибирск, 1989, 144-151
1988
23.
С.Т.Федоряев, “Линейные структуры алгебраической сводимости”, Тезисы докладов 9-ой Всесоюз. конф. по матем. логике (Ленинград, сентябрь 1988), Наука, 1988, 164