Arithmetical Transfinite Recursion