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…