hyperarithmetic (arithmetic + hyper-; above_excessive)
Pertaining to a generalization of computability theory focusing on certain sets of natural numbers