|
Алгебра и логика, 2024, том 63, номер 3, страницы 235–247 DOI: https://doi.org/10.33048/alglog.2024.63.301
(Mi al2804)
|
|
|
|
Разрешимые модели эренфойхтовых теорий
П. Е. Алаевab, Е. И. Хлестоваb a Ин-т матем. им. С.Л.Соболева СО РАН,
г. Новосибирск, РОССИЯ
b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
DOI:
https://doi.org/10.33048/alglog.2024.63.301
Аннотация:
Изучаются счётные модели эренфойхтовых теорий, т. е. полных теорий с конечным числом счётных моделей, строго большим 1. Вводится понятие просто порождённой модели. Доказывается, что если у эренфойхтовой теории все полные типы имеют арифметическую сложность, то любая её просто порождённая модель обладает арифметически сложным изоморфным представлением.
Ключевые слова:
эренфойхтова теория, счётная модель, вычислимая структура, разрешимая структура, арифметическая структура, арифметический тип.
Поступило: 21.02.2024 Окончательный вариант: 11.04.2025
Образец цитирования:
П. Е. Алаев, Е. И. Хлестова, “Разрешимые модели эренфойхтовых теорий”, Алгебра и логика, 63:3 (2024), 235–247; Algebra and Logic, 63:3 (2024), 155–163
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2804 https://www.mathnet.ru/rus/al/v63/i3/p235
|
| Статистика просмотров: |
| Страница аннотации: | 144 | | PDF полного текста: | 53 | | Список литературы: | 33 |
|