RUS  ENG
Full version
JOURNALS // Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki // Archive

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

This article is cited 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.

UDC: 510.5

Received: 21.05.2013



© Steklov Math. Inst. of RAS, 2024