О спектрах разрешимой категоричности для почти простых моделей Научная публикация
| Журнал |
Алгебра и логика
ISSN: 0373-9252 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2023, Том: 62, Номер: 4, Страницы: 441–457 Страниц : 18 DOI: 10.33048/alglog.2023.62.401 | ||||
| Ключевые слова | вычислимая модель, разрешимая модель, вычислимая категоричность, разрешимая категоричность, автоустойчивость относительно сильных конструктивизаций, степень разрешимой категоричности, спектр разрешимой категоричности, PA-степень | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Математический центр в Академгородке | 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
О спектрах разрешимой категоричности для почти простых моделей
Алгебра и логика. 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
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
Даты:
| Поступила в редакцию: | 28 окт. 2022 г. |
| Принята к публикации: | 19 июл. 2024 г. |
| Опубликована в печати: | 3 сент. 2024 г. |
| Опубликована online: | 3 сент. 2024 г. |
Цитирование в БД:
Пока нет цитирований