|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Баженов Н. А., Марчук М. И. Степени автоустойчивости относительно сильных конструктивизаций графов //
Том 59 (2018), Номер 4,
стр. 719735
Показано, что любая вычислимо перечислимая тьюрингова степень является степенью автоустойчивости относительно сильных конструктивизаций для разрешимого ориентированного графа. Построен разрешимый неориентированный граф, для которого спектр автоустойчивости относительно сильных конструктивизаций равен множеству всех PA-степеней.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|