Patrick Speissegger
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…
The first version of my preprint on quasianalytic Ilyashenko algebras is available on arXiv. Feel free to leave comments here! Here is the abstract: I construct a quasianalytic field $\F$ of germs at $+\infty$ of real functions with logarithmic generalized power series as asymptotic expansions, such that $\F$ is closed under differentiation and log-composition; in…
We now return to $\Ps{R}{X}$-sets or, more generally, to so-called $\C$-sets, where $\C = (\C_n)_{n \in \NN}$ is a collection of subrings $\C_n$ of $C^\infty_n$ obtained as follows: for every polyradius $r \in (0,\infty)^n$, we assume being given a subring $\C_r$ of $C^\infty_r$ such that, (C1) for $f \in \C_r$, there exists $s > r$…