|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Степени автоустойчивости относительно сильных конструктивизаций графов
Н. А. Баженовab, М. И. Марчукab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Показано, что любая вычислимо перечислимая тьюрингова степень является степенью автоустойчивости относительно сильных конструктивизаций для разрешимого ориентированного графа. Построен разрешимый неориентированный граф, для которого спектр автоустойчивости относительно сильных конструктивизаций равен множеству всех PA-степеней.
Ключевые слова:
вычислимая модель, сильно конструктивизируемая модель, автоустойчивость, автоустойчивость относительно сильных конструктивизаций, степень автоустойчивости относительно сильных конструктивизаций, спектр автоустойчивости относительно сильных конструктивизаций, PA-степень, вычислимо перечислимая степень, граф.
Статья поступила: 01.11.2017
Образец цитирования:
Н. А. Баженов, М. И. Марчук, “Степени автоустойчивости относительно сильных конструктивизаций графов”, Сиб. матем. журн., 59:4 (2018), 719–735; Siberian Math. J., 59:4 (2018), 565–577
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3006 https://www.mathnet.ru/rus/smj/v59/i4/p719
|
Статистика просмотров: |
Страница аннотации: | 249 | PDF полного текста: | 42 | Список литературы: | 39 | Первая страница: | 6 |
|