hyperarithmetic adjective1 •Pertaining to a generalization of computability theory focusing on certain sets of natural numbers.
