Decidable Models of Ehrenfeucht Theories | Sciact - Система учета научной деятельности ИМ СО РАН

Decidable Models of Ehrenfeucht Theories Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2025, DOI: 10.1007/s10469-025-09779-0

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

Ehrenfeucht theory, countable model, computable structure, decidable structure, arithmetic structure, arithmetic type

Авторы

Alaev P.E. ^1,2 , Khlestova E.I. ¹

Организации

1	Novosibirsk State University
2	Sobolev Institute of Mathematics

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

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

We study countable models of Ehrenfeucht theories, i.e., complete theories with a finite number of countable models, strictly larger than 1. The notion of a primely generated model is introduced. It is proved that if all complete types of an Ehrenfeucht theory have arithmetic complexity, then any of the primely generated models of the theory possesses an arithmetically complex isomorphic presentation.

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

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

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

Web of science:	WOS:001481327600001
Scopus:	2-s2.0-105004356662
OpenAlex:	W4410103983

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