We prove a generalization of Thom’s transversality theorem. It gives conditions under which the jet map $f_{*}{|}_Y:Y\subseteq J^r(D,M)\to J^r(D,N)$ is generically (for $f:M\to N$) transverse to a submanifold $Z\subseteq J^r(D,N)$. We apply this to study transversality properties of a restriction of a fixed map $g:M\to P$ to the preimage ${\left(j^{s}f\right)}^{-1}\left(A\right)$ of a submanifold $A\subseteq J^s(M,N)$ in terms of transversality properties of the original map $f$. Our main result is that for a reasonable class of submanifolds $A$ and a generic map $f$ the restriction ${g|}_{{\left(j^{s}f\right)}^{-1}\left(A\right)}$ is also generic. We also present an example of $A$ where the...

We present an example of an o-minimal structure which does not admit $C^{\infty }$ cellular decomposition. To this end, we construct a function $H$ whose germ at the origin admits a $C^k$ representative for each integer $k$, but no $C^{\infty }$ representative. A number theoretic condition on the coefficients of the Taylor series of $H$ then insures the quasianalyticity of some differential algebras ${𝒜}_n\left(H\right)$ induced by $H$. The o-minimality of the structure generated by $H$ is deduced from this quasianalyticity property.