An Approach to the Classification of Minimal Numberings of Families of Arithmetical Sets
M. Kh. Faĭzrahmanov · Siberian Mathematical Journal · 2025
We generalize the concept of an effectively minimal numbering obtained by its relativization with respect to the Turing jumps of subsets of nonnegative integers. Basing on this generalization, we classify the minimal numberings computable in the arithmetical and hyperarithmetical hierarchies.