Abstract <p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On a Low Scattered Linear Order with no Computable Copy

  • M. V. Zubkov

摘要

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.