Arithmetical transfinite recursion