Разрешимые модели эренфойхтовых теорий | Sciact - Система учета научной деятельности ИМ СО РАН

Разрешимые модели эренфойхтовых теорий Научная публикация

Журнал

Алгебра и логика
ISSN: 0373-9252

Вых. Данные

Год: 2024, Том: 63, Номер: 3, Страницы: 235–247 Страниц : 14 DOI: 10.33048/alglog.2024.63.301

Ключевые слова

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

Авторы

Алаев П.Е. ^1,2 , Хлестова Е.И. ²

Организации

1	Ин-т матем. им. С.Л.Соболева СО РАН, г. Новосибирск, РОССИЯ
2	Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ

Информация о финансировании (2)

1	Институт математики им. С.Л. Соболева СО РАН	FWNF-2022-0011
2	Российский научный фонд	23-11-00170

Изучаются счётные модели эренфойхтовых теорий, т. е. полных теорий с конечным числом счётных моделей, строго большим 1. Вводится понятие просто порождённой модели. Доказывается, что если у эренфойхтовой теории все полные типы имеют арифметическую сложность, то любая её просто порождённая модель обладает арифметически сложным изоморфным представлением.

Алаев П.Е. , Хлестова Е.И.
Разрешимые модели эренфойхтовых теорий
Алгебра и логика. 2024. Т.63. №3. С.235–247. DOI: 10.33048/alglog.2024.63.301

Alaev P.E. , Khlestova E.I.
Decidable Models of Ehrenfeucht Theories
Algebra and Logic. 2025. DOI: 10.1007/s10469-025-09779-0 WOS Scopus OpenAlex

Поступила в редакцию:	21 февр. 2024 г.
Опубликована в печати:	19 мая 2025 г.
Опубликована online:	19 мая 2025 г.

Нет идентификаторов

Пока нет цитирований