hyperarithmetic reducibility