Loading [MathJax]/jax/output/CommonHTML/jax.js
Algebra i logika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Algebra Logika:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Algebra i logika, 2023, Volume 62, Number 4, Pages 441–457
DOI: https://doi.org/10.33048/alglog.2023.62.401
(Mi al2771)
 

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
References:
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.
Funding agency Grant number
Ministry of Science and Higher Education of the Russian Federation 075-15-2022-282
Received: 28.10.2022
Revised: 19.07.2024
Document Type: Article
UDC: 510.5+512.563
Language: Russian
Citation: N. A. Bazhenov, M. I. Marchuk, “Decidable categoricity spectra for almost prime models”, Algebra Logika, 62:4 (2023), 441–457
Citation in format AMSBIB
\Bibitem{BazMar23}
\by N.~A.~Bazhenov, M.~I.~Marchuk
\paper Decidable categoricity spectra for almost prime models
\jour Algebra Logika
\yr 2023
\vol 62
\issue 4
\pages 441--457
\mathnet{http://mi.mathnet.ru/al2771}
\crossref{https://doi.org/10.33048/alglog.2023.62.401}
Linking options:
  • https://www.mathnet.ru/eng/al2771
  • https://www.mathnet.ru/eng/al/v62/i4/p441
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Statistics & downloads:
    Abstract page:94
    Full-text PDF :32
    References:17
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025