hyperarithmetic

Adjective

 * 1)  Pertaining to a generalization of computability theory focusing on certain sets of natural numbers.