## Real domains

(Joint work with Tobias Kaiser) I introduce here the types of domains in $\LL$ used later to describe holomorphic extensions of one-variable functions definable in $\Ranexp$. In this post “definable” means “definable in $\Ranexp$”. Definition A set $U \subseteq \LL$ is a real domain if there exist $a \gt 0$ and a continuous function $f…