## Ilyashenko algebras based on definable monomials: the construction (base step)

Let $\H$ be the Hardy field of $\Ranexp$, and let $M$ be a multiplicative $\RR$-subvector space of $\H^{>0}$; I continue to assume in this post that $M$ is a pure scale. A germ $h \in \H^{>0}$ is small if $h(x) \to 0$ as $x \to +\infty$. The construction discussed here works for the following type…

## Ilyashenko algebras based on definable monomials, revisited

In order to address some of the questions raised in this post, I introduce here some relevant definitions and recast the construction of Ilyashenko algebras based on $\log$ monomials using these new notions. As before, let $\H$ be the Hardy field of germs at $+\infty$ of all $h:\RR \into \RR$ definable in $\Ranexp$, and denote…

## Holomorphic extensions of definable germs

(Joint work with Tobias Kaiser) Recall from this post that not all germs in $\H$ have a holomorphic extension that maps definable real domains to definable real domains. In fact, the extension $\t_a$ of the translation $t_a$, for $a\gt 0$, does not even map real domains to real domains. So, in order to describe the…