Wiktionary
hyperarithmetic
n. (context mathematics English) A generalization of computability theory focusing on certain sets of natural numbers.