Decidable Categoricity Spectra for Almost Prime Models Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2023, Volume: 62, Number: 4, Pages: 291-302 Pages count : 12 DOI: 10.1007/s10469-024-09746-1 | ||||
| Tags | computable model, decidable model, computable categoricity, decidable categoricity, autostability relative to strong constructivizations, degree of decidable categoricity, decidable categoricity spectrum, PA-degree | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Mathematical Center in Akademgorodok | 075-15-2022-282 |
Abstract:
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)].
Cite:
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
Original:
Баженов Н.А.
, Марчук М.И.
О спектрах разрешимой категоричности для почти простых моделей
Алгебра и логика. 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
Dates:
| Submitted: | Oct 28, 2022 |
| Accepted: | Jul 19, 2024 |
| Published print: | Jul 30, 2024 |
| Published online: | Jul 30, 2024 |
Identifiers:
| Web of science: | WOS:001280357100001 |
| Scopus: | 2-s2.0-85200042399 |
| Elibrary: | 73442232 |
| OpenAlex: | W4401108893 |
Citing:
Пока нет цитирований