In 1998 R. Downey formulated a problem: to describe a property P of classical order types, which guarantees that if L is a low linear order and P holds for the order type of L then 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.
No takes yet. Share an insight, caveat, or question.
Frolov et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: