Cantor–Bendixson ranks of effectively closed sets in admissible recursion theory

Abstract

The range of possible ordinal values for the Cantor–Bendixson rank of an effectively closed set in Cantor space, and the relationship between the ranks and the Turing degrees of its members, have been closely studied. The wide array of results on this topic have often made use of useful topological features of Cantor space (notably, compactness) and of key properties of computable well-orders. In this paper, a number of these results are extended to the case of Cantor space on the first uncountable ordinal, in which these properties do not hold, using admissible recursion theory.