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

Let $M \subseteq \H^{>0}$ be a pure scale on standard power domains. In this post, I gave the base step of the construction of a qaa field $(\F,L,T)$ as claimed here. The goal of this post is to finish this construction. Step 0.5: apply a $\log$-shift to the qaa field $(\F_0,L_0,T_0)$, that is, set \F’_1…