Sibirskii Matematicheskii Zhurnal
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



Sibirsk. Mat. Zh.:
Year:
Volume:
Issue:
Page:
Find






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


Sibirskii Matematicheskii Zhurnal, 2010, Volume 51, Number 6, Pages 1435–1439 (Mi smj2172)  

This article is cited in 2 scientific papers (total in 2 papers)

Computable numberings of families of low sets and Turing jumps in the Ershov hierarchy

M. Kh. Faizrahmanov

Kazan State University, Kazan
Full-text PDF (290 kB) Citations (2)
References:
Abstract: If $\nu$ and $\mu$ are some $\Delta^0_2$-computable numberings of families of sets of the naturals then $P(x,y)\Leftrightarrow\nu(x)'\not=\mu(y)$ is a $\Sigma^0_2$-predicate. Deriving corollaries from this result, we obtain a sufficient condition for existence of a $\Delta^0_2$-computable numbering of the subfamily of all sets in a given family with the Turing jumps belonging to a fixed level of the Ershov hierarchy, and we deduce existence of a $\Sigma^{-1}_\omega$-computable numbering of the family of all superlow sets.
Keywords: computable numbering, Ershov hierarchy, constructive ordinal, low set, superlow set.
Received: 17.05.2009
English version:
Siberian Mathematical Journal, 2010, Volume 51, Issue 6, Pages 1135–1138
DOI: https://doi.org/10.1007/s11202-010-0111-7
Bibliographic databases:
Document Type: Article
UDC: 510.5
Language: Russian
Citation: M. Kh. Faizrahmanov, “Computable numberings of families of low sets and Turing jumps in the Ershov hierarchy”, Sibirsk. Mat. Zh., 51:6 (2010), 1435–1439; Siberian Math. J., 51:6 (2010), 1135–1138
Citation in format AMSBIB
\Bibitem{Fai10}
\by M.~Kh.~Faizrahmanov
\paper Computable numberings of families of low sets and Turing jumps in the Ershov hierarchy
\jour Sibirsk. Mat. Zh.
\yr 2010
\vol 51
\issue 6
\pages 1435--1439
\mathnet{http://mi.mathnet.ru/smj2172}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2797608}
\transl
\jour Siberian Math. J.
\yr 2010
\vol 51
\issue 6
\pages 1135--1138
\crossref{https://doi.org/10.1007/s11202-010-0111-7}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000288180800018}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-78650757353}
Linking options:
  • https://www.mathnet.ru/eng/smj2172
  • https://www.mathnet.ru/eng/smj/v51/i6/p1435
  • This publication is cited in the following 2 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Statistics & downloads:
    Abstract page:523
    Full-text PDF :98
    References:63
    First page:4
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024