Itogi Nauki i Tekhniki. Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz.:
Year:
Volume:
Issue:
Page:
Find




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

Itogi Nauki i Tekhniki. Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory, 2018, Volume 157, Pages 8–41 (Mi into405)  
This article is cited in 1 scientific paper (total in 1 paper)

Turing computability: structural theory

M. M. Arslanov, M. M. Yamaleev

Kazan (Volga Region) Federal University
Full-text PDF (443 kB) Citations (1)
References:
PDF
HTML
Abstract: In this work, we review results of the last years related to the development of the structural theory of $n$-c.e. Turing degrees for $n>1$. We also discuss possible approaches to solution of the open problems.
Keywords: computably enumerable set, Turing degree, Ershov's hierarchy, definability.
Funding agency Grant number
Ministry of Education and Science of the Russian Federation 1.1515.2017/4.6
1.12878.2018/12.1
This work was partially supported by the Ministry of Education and Science of the Russian Federation (project Nos. 1.1515.2017/4.6 and 1.12878.2018/12.1).
English version:
Journal of Mathematical Sciences (New York), 2021, Volume 256, Issue 1, Pages 1–33
DOI: https://doi.org/10.1007/s10958-021-05418-y
Bibliographic databases:
Document Type: Article
UDC: 510.6, 510.52, 510.53, 510.57
MSC: 03C57, 03D25, 03D28, 03D45, 03D55
Language: Russian
Citation: M. M. Arslanov, M. M. Yamaleev, “Turing computability: structural theory”, Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University, Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 157, VINITI, Moscow, 2018, 8–41; J. Math. Sci. (N. Y.), 256:1 (2021), 1–33
Citation in format AMSBIB
\Bibitem{ArsYam18}
\by M.~M.~Arslanov, M.~M.~Yamaleev
\paper Turing computability: structural theory
\inbook Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University
\serial Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz.
\yr 2018
\vol 157
\pages 8--41
\publ VINITI
\publaddr Moscow
\mathnet{http://mi.mathnet.ru/into405}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3940081}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2021
\vol 256
\issue 1
\pages 1--33
\crossref{https://doi.org/10.1007/s10958-021-05418-y}
Linking options:
  • https://www.mathnet.ru/eng/into405
  • https://www.mathnet.ru/eng/into/v157/p8
    • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Itogi Nauki i Tekhniki. Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory Itogi Nauki i Tekhniki. Sovremennaya Matematika i ee Prilozheniya. Tematicheskie Obzory
    Statistics & downloads:
    Abstract page:259
    Full-text PDF :114
    References:29
    First page:9
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024