Hyperarithmetic definition

(mathematics) A generalization of computability theory focusing on certain sets of natural numbers.