|
Индексное множество автоустойчивых упорядоченных абелевых групп
М. И. Марчукab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск, 630090 РОССИЯ
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск, 630090 РОССИЯ
Аннотация:
Получена точная оценка алгоритмической сложности класса автоустойчивых упорядоченных абелевых групп.
Ключевые слова и фразы:
вычислимая модель, автоустойчивость, вычислимая категоричность, автоустойчивая модель, индексное множество, упорядоченная абелева группа.
Статья поступила: 11.04.2019 Переработанный вариант: 11.04.2019 Принята к публикации: 10.06.2019
Образец цитирования:
М. И. Марчук, “Индексное множество автоустойчивых упорядоченных абелевых групп”, Матем. тр., 23:1 (2020), 169–176
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt370 https://www.mathnet.ru/rus/mt/v23/i1/p169
|
|