Frolov A.N.; Lempp S.; Ng K.M.; Wu G.
(2020)
© 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with the property that given any countable linear order, is a computable linear order iff is a computable linear order, as ...