Global complexification of real analytic globally subanalytic functions

Abstract

We show that a globally subanalytic function that is real analytic can be extended in a globally subanalytic way to a holomorphic function. We also establish a parametric version of this result. For other important ominimal structures, we show that unary definable real analytic functions can be extended definably to a holomorphic function.