An Approach to the Classification of Minimal Numberings of Families of Arithmetical Sets
摘要
We generalize the concept of an effectively minimal numberingobtained by its relativizationwith respect to the Turing jumps of subsets of nonnegative integers.Basing on this generalization,we classify the minimal numberingscomputable in the arithmetical and hyperarithmetical hierarchies.