О спектрах разрешимой категоричности для почти простых моделей

О спектрах разрешимой категоричности для почти простых моделей Full article

Journal

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

Output data

Year: 2023, Volume: 62, Number: 4, Pages: 441–457 Pages count : 18 DOI: 10.33048/alglog.2023.62.401

Tags

вычислимая модель, разрешимая модель, вычислимая категоричность, разрешимая категоричность, автоустойчивость относительно сильных конструктивизаций, степень разрешимой категоричности, спектр разрешимой категоричности, PA-степень

Authors

Баженов Н.А. ^1,2 , Марчук М.И. ^1,2

Affiliations

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

Funding (1)

Mathematical Center in Akademgorodok

075-15-2022-282

Исследуются спектры разрешимой категоричности для почти простых моделей. Для любого вычислимого набора {D_i\}_{i\in\omega}, где D_i является либо в. п. множеством, либо D_i=PA, строится последовательность почти простых моделей {\mathcal{M}_i\}_{i\in\omega}, элементарно вложенных друг в друга, при этом для любого i существует конечный набор констант, такой что модель mathcal{M}_i в обогащении этими константами имеет степень разрешимой категоричности deg_T(D_i), если D_i — в. п. множество, и не имеет степени разрешимой категоричности, если D_i=PA. Полученный результат расширяет результат С. С. Гончарова, В. Харизановой и Р. Миллера [Sib. Adv. Math., 30, No. 3 (2020), 200—212].

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

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

Submitted:	Oct 28, 2022
Accepted:	Jul 19, 2024
Published print:	Sep 3, 2024
Published online:	Sep 3, 2024

Elibrary:	68534062
MathNet:	2771

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