On a Low Scattered Linear Order with no Computable Copy
摘要
Abstract
One of the central themes in the computable theory of linear orders is determining which low orders are computably presentable. This, in turn, raises the question of which order properties guarantee a computable copy for any low order. In this paper, we investigate the property of being scattered by constructing a counterexample: a low scattered linear order of Hausdorff rank 2 that has no computable copy. This construction provides such a counterexample of minimal finite rank.