М. И. Марчук, “Разрешимая категоричность почти простых моделей сигнатуры графов”, Матем. тр., 2021, том 24, номер 1,страницы 117

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

Разрешимая категоричность почти простых моделей сигнатуры графов

М. И. Марчук^ab

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

Аннотация: Исследуются степени разрешимой категоричности почти простых моделей и их взаимосвязь со степенями множеств полных формул. Показано, что результат С. С. Гончарова, В. Харизанов и Р. Миллера, полученный для моделей бесконечной сигнатуры, верен для моделей сигнатуры графов.

Ключевые слова и фразы: вычислимая модель, разрешимая модель, разрешимая категоричность, простая модель, почти простая модель, степень разрешимой категоричности, спектр разрешимой категоричности.

УДК: 510.5+510.6

Статья поступила: 08.04.2020
Переработанный вариант: 19.06.2020
Принята к публикации: 07.07.2020

DOI: 10.33048/mattrudy.2021.24.105