Decidable Categoricity Spectra for Almost Prime Models | Sciact - Система учета научной деятельности ИМ СО РАН

Decidable Categoricity Spectra for Almost Prime Models Научная публикация

Журнал

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

Вых. Данные

Год: 2023, Том: 62, Номер: 4, Страницы: 291-302 Страниц : 12 DOI: 10.1007/s10469-024-09746-1

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

computable model, decidable model, computable categoricity, decidable categoricity, autostability relative to strong constructivizations, degree of decidable categoricity, decidable categoricity spectrum, PA-degree

Авторы

Bazhenov N.A. ^1,2 , Marchuk M.I. ^1,2

Организации

1	Sobolev Institute of Mathematics, Novosibirsk, Russia
2	Novosibirsk State University

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

Математический центр в Академгородке

075-15-2022-282

We study decidable categoricity spectra for almost prime models. For any computable collection {Di}i∈ω, where Di either is a c.e. set or Di = PA, we construct a sequence of almost prime models {Mi}i∈ω elementarily embedded in each other, in which case for any i there exists a finite collection of constants such that the model Mi in the expansion by these constants has degree of decidable categoricity degT(Di), if Di is a c.e. set, and has no degree of decidable categoricity if Di = PA. The result obtained extends that of S. S. Goncharov, V. Harizanov, and R. Miller [Sib. Adv. Math., 30, No. 3, 200-212 (2020)].

Bazhenov N.A. , Marchuk M.I.
Decidable Categoricity Spectra for Almost Prime Models
Algebra and Logic. 2023. V.62. N4. P.291-302. DOI: 10.1007/s10469-024-09746-1 WOS Scopus РИНЦ OpenAlex

Баженов Н.А. , Марчук М.И.
О спектрах разрешимой категоричности для почти простых моделей
Алгебра и логика. 2023. Т.62. №4. С.441–457. DOI: 10.33048/alglog.2023.62.401 РИНЦ MathNet

Поступила в редакцию:	28 окт. 2022 г.
Принята к публикации:	19 июл. 2024 г.
Опубликована в печати:	30 июл. 2024 г.
Опубликована online:	30 июл. 2024 г.

Web of science:	WOS:001280357100001
Scopus:	2-s2.0-85200042399
РИНЦ:	73442232
OpenAlex:	W4401108893

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