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