С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 2015, том 54, номер 2,страницы 163

Эта публикация цитируется в 15 статьях

Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры

С. С. Гончаров^ab, М. И. Марчук^a

^a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
^b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ

Аннотация: Даётся оценка алгоритмической сложности класса вычислимых моделей ограниченной сигнатуры, имеющих сильную конструктивизацию и автоустойчивых относительно сильных конструктивизаций.

Ключевые слова: модель, вычислимая модель, конструктивная модель, автоустойчивость, индексные множества.

УДК: 510.5

Поступило: 07.11.2014

DOI: 10.17377/alglog.2015.54.203