Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
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



Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki:
Year:
Volume:
Issue:
Page:
Find






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


Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2013, Volume 155, Book 3, Pages 80–90 (Mi uzku1217)  

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

Algorithmic independence of natural relations on computable linear orders

R. I. Bikmukhametov

Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University, Kazan, Russia
Full-text PDF (207 kB) Citations (3)
References:
Abstract: We study the dependence of various algorithmic relations on linear orders. We prove that successor relation, block relation, density relation, and limit from above and limit from below relations are algorithmically independent. We introduce new relations defined in a signature of linear order, such that they are not algorithmically independent, and study their properties.
Keywords: linear order, successor relation, block relation, density relation, limit from above relation, limit from below relation, algorithmic independence.
Received: 21.05.2013
Document Type: Article
UDC: 510.5
Language: Russian
Citation: R. I. Bikmukhametov, “Algorithmic independence of natural relations on computable linear orders”, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 155, no. 3, Kazan University, Kazan, 2013, 80–90
Citation in format AMSBIB
\Bibitem{Bik13}
\by R.~I.~Bikmukhametov
\paper Algorithmic independence of natural relations on computable linear orders
\serial Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
\yr 2013
\vol 155
\issue 3
\pages 80--90
\publ Kazan University
\publaddr Kazan
\mathnet{http://mi.mathnet.ru/uzku1217}
Linking options:
  • https://www.mathnet.ru/eng/uzku1217
  • https://www.mathnet.ru/eng/uzku/v155/i3/p80
  • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
    Statistics & downloads:
    Abstract page:277
    Full-text PDF :116
    References:32
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024