Browsing by Author "Bikmukhametov R."

Now showing items 1-2 of 2

Codings on linear orders and algorithmic independence of natural relations

Bikmukhametov R. (2014)

© 2014, Pleiades Publishing, Ltd. We study an algorithmic dependence of natural relations on linear orders relative to the class of their computable presentations. We give complete description of possible combinations of ...
Initial segments of computable linear orders with computable natural relations

Bikmukhametov R. (2016)

© 2016, Allerton Press, Inc.We study the algorithmic complexity of natural relations on initial segments of computable linear orders. We prove that there exists a computable linear order with computable density relation ...

Now showing items 1-2 of 2

Search DSpace