Матем. тр.,
2020, том 23, номер 1, страницы 169–176
(Mi mt370)
|
Индексное множество автоустойчивых упорядоченных абелевых групп
М. И. Марчукab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск, 630090 РОССИЯ
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск, 630090 РОССИЯ
Аннотация:
Получена точная оценка алгоритмической сложности класса автоустойчивых упорядоченных абелевых групп.
Ключевые слова и фразы:
вычислимая модель, автоустойчивость, вычислимая категоричность, автоустойчивая модель, индексное множество, упорядоченная абелева группа.
УДК:
510.5+
510.6 Статья поступила: 11.04.2019
Переработанный вариант: 11.04.2019
Принята к публикации: 10.06.2019
DOI:
10.33048/mattrudy.2020.23.108
© , 2024
Полный текст:
PDF файл (185 kB)