|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Разрешимая категоричность почти простых моделей сигнатуры графов
М. И. Марчукab a Институт математики им. С. Л. Соболева СО РАН, просп. Академика Коптюга, 4, Новосибирск, 630090 РОССИЯ
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск, 630090 РОССИЯ
Аннотация:
Исследуются степени разрешимой категоричности почти простых моделей и их взаимосвязь со степенями множеств полных формул. Показано, что результат С. С. Гончарова, В. Харизанов и Р. Миллера, полученный для моделей бесконечной сигнатуры, верен для моделей сигнатуры графов.
Ключевые слова и фразы:
вычислимая модель, разрешимая модель, разрешимая категоричность, простая модель, почти простая модель, степень разрешимой категоричности, спектр разрешимой категоричности.
Статья поступила: 08.04.2020 Переработанный вариант: 19.06.2020 Принята к публикации: 07.07.2020
Образец цитирования:
М. И. Марчук, “Разрешимая категоричность почти простых моделей сигнатуры графов”, Матем. тр., 24:1 (2021), 117–141
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt644 https://www.mathnet.ru/rus/mt/v24/i1/p117
|
Статистика просмотров: |
Страница аннотации: | 186 | PDF полного текста: | 128 | Список литературы: | 31 | Первая страница: | 8 |
|