Theory of hyperarithmetic analysis