Adjective
hyperarithmetic (not comparable) (mathematics) Pertaining to a generalization of computability theory focusing on certain sets of natural numbers.