The Coding Theorems for Linear Orders
A. N. Frolov · Lobachevskii Journal of Mathematics · 2025
Firstly, the denotation of coding theorems for linear orders was discussed by R.G. Downey. In this paper, we give formal definition and proof some results in this way. We show that coding theorems connect with different areas of computable linear order theory, namely, connect with spectra and computably presentability. We give different instruments to find new coding theorems.