La reducibilidad aritmética es un concepto intermedio entre la reducibilidad de Turing y la reducibilidad hiperaritmética.