The Coding Theorems for Linear Orders
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.
Authors
- A. N. Frolov
Institutions
- Innopolis University (RU)
Publication Details
- Journal
- Lobachevskii Journal of Mathematics
- Published
- 2025-03-01
- DOI
- https://doi.org/10.1134/s1995080225605223
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00