En la teoría de la computabilidad , un grado de Turing [ X ] es alto si es computable en 0′, y el salto de Turing [ X ′] es 0′′, que es el mayor grado posible en términos de reducibilidad de Turing para el salto de un conjunto que es computable en 0′. [1]
De manera similar, un grado es n alto si su salto n es el salto n (n + 1) de 0. Aún más generalmente, un grado d es n alto generalizado si su salto n es el salto n de la unión de d con 0′.