|
Decidable categoricity spectra for almost prime models
N. A. Bazhenovab, M. I. Marchukba a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
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)].
Keywords:
computable model, decidable model, computable categoricity, decidable categoricity, autostability relative to strong constructivizations, degree of decidable categoricity, decidable categoricity spectrum, PA-degree.
Received: 28.10.2022 Revised: 19.07.2024
Citation:
N. A. Bazhenov, M. I. Marchuk, “Decidable categoricity spectra for almost prime models”, Algebra Logika, 62:4 (2023), 441–457
Linking options:
https://www.mathnet.ru/eng/al2771 https://www.mathnet.ru/eng/al/v62/i4/p441
|
Statistics & downloads: |
Abstract page: | 94 | Full-text PDF : | 32 | References: | 17 |
|