|
Algebra i logika, 2022, Volume 61, Number 5, Pages 552–570 DOI: https://doi.org/10.33048/alglog.2022.61.503
(Mi al2729)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
A class of low linear orders having computable presentations
M. V. Zubkov Kazan (Volga Region) Federal University
DOI:
https://doi.org/10.33048/alglog.2022.61.503
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; Algebra and Logic, 61:5 (2022), 372–384
Linking options:
https://www.mathnet.ru/eng/al2729 https://www.mathnet.ru/eng/al/v61/i5/p552
|
|