Lipschitz Determinacy and Arithmetic Transfinite Recursion | Publicación