Low scattered linear orders
Andrey Frolov,Maxim Zubkov
DOI: https://doi.org/10.1093/logcom/exae008
2024-03-20
Journal of Logic and Computation
Abstract:Abstract In 1998 R. Downey formulated a problem: to describe a property $P$ of classical order types, which guarantees that if $\mathcal{L}$ is a low linear order and $P$ holds for the order type of $\mathcal{L}$ then $\mathcal{L}$ is isomorphic to a computable linear order. We find a new such property $P$. Also, we give an upper bound on a complexity of an isomorphism between computable and low copies and show that this bound is sharp.
computer science, theory & methods,logic