Аннотация:
Показано, что любая вычислимо перечислимая тьюрингова степень является степенью автоустойчивости относительно сильных конструктивизаций для разрешимого ориентированного графа. Построен разрешимый неориентированный граф, для которого спектр автоустойчивости относительно сильных конструктивизаций равен множеству всех PA-степеней.
Ключевые слова:
вычислимая модель, сильно конструктивизируемая модель, автоустойчивость, автоустойчивость относительно сильных конструктивизаций, степень автоустойчивости относительно сильных конструктивизаций, спектр автоустойчивости относительно сильных конструктивизаций, PA-степень, вычислимо перечислимая степень, граф.
Исследования Н. А. Баженова выполнены при финансовой поддержке РФФИ в рамках научного проекта № 16-31-60058 мол_а_дк. Исследования М. И. Марчук выполнены при финансовой поддержке РФФИ в рамках научного проекта № 17-01-00247.
N. A. Bazhenov, M. I. Marchuk, M. Fiori-Carones, “Elementary embeddability with respect to Weihrauch reducibility”, jour, 2:4 (2025), 4
Н. А. Баженов, М. И. Марчук, “О спектрах разрешимой категоричности для почти простых моделей”, Алгебра и логика, 62:4 (2023), 441–457
N. A. Bazhenov, M. I. Marchuk, “Decidable Categoricity Spectra for Almost Prime Models”, Algebra Logic, 62:4 (2023), 291
М. И. Марчук, “Разрешимая категоричность почти простых моделей сигнатуры графов”, Матем. тр., 24:1 (2021), 117–141
С. С. Гончаров, М. И. Марчук, “О степени разрешимой категоричности модели с бесконечными решениями для полных формул”, Алгебра и логика, 60:3 (2021), 303–312; S. S. Goncharov, M. I. Marchuk, “The degree of decidable categoricity of a model with infinite solutions for complete formulas”, Algebra and Logic, 60:3 (2021), 200–206
Н. А. Баженов, М. И. Марчук, “О спектрах категоричности для локально конечных графов”, Сиб. матем. журн., 62:5 (2021), 983–994; N. A. Bazhenov, M. I. Marchuk, “On categoricity spectra for locally finite graphs”, Siberian Math. J., 62:5 (2021), 796–804
M. I. Marchuk, “On Decidable Categoricity for Almost Prime Models of the Signature of Graphs”, Sib. Adv. Math., 31:4 (2021), 283
S. S. Goncharov, V. Harizanov, R. Miller, “On Decidable Categoricity and Almost Prime
Models”, Sib. Adv. Math., 30:3 (2020), 200