|
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
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
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
Linking options:
https://www.mathnet.ru/eng/uzku1217 https://www.mathnet.ru/eng/uzku/v155/i3/p80
|
Statistics & downloads: |
Abstract page: | 277 | Full-text PDF : | 116 | References: | 32 |
|