|
A class of low linear orders having computable presentations
M. V. Zubkov Kazan (Volga Region) Federal University
Abstract:
It is shown that any low linear order of the form $\mathcal{L}+\omega^*$, where $\mathcal{L}$ is some $\eta$-presentation, has a computable copy. This result contrasts with there being low $\eta$-presentations not having a computable copy.
Keywords:
low linear order, $\eta$-presentation, computable linear order.
Received: 22.09.2021 Revised: 09.08.2023
Citation:
M. V. Zubkov, “A class of low linear orders having computable presentations”, Algebra Logika, 61:5 (2022), 552–570
Linking options:
https://www.mathnet.ru/eng/al2729 https://www.mathnet.ru/eng/al/v61/i5/p552
|
|