Hyperarithmetic reducibility