Some holomorphic extensions
(Joint work with Tobias Kaiser) We are interested in holomorphic extensions of one-variable functions definable in $\Ranexp$. Since $\exp$ and $\log$ are two crucial functions definable in $\Ranexp$, the natural domain on which to consider holomorphic extensions of all definable functions is the Riemann surface of the logarithm $$\LL:= (0,\infty) \times \RR$$ with its usual…