Разрешимые модели эренфойхтовых теорий

Разрешимые модели эренфойхтовых теорий Full article

Journal

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

Output data

Year: 2024, Volume: 63, Number: 3, Pages: 235–247 Pages count : 14 DOI: 10.33048/alglog.2024.63.301

Tags

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

Authors

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

Affiliations

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

Funding (2)

1	Sobolev Institute of Mathematics	FWNF-2022-0011
2	Russian Science Foundation	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

Submitted:	Feb 21, 2024
Published print:	May 19, 2025
Published online:	May 19, 2025

No identifiers

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