Let $f\,{:}\,(\mathbb R^n,0)\to (\mathbb R,0)$ be an analytic function germ with non-isolated singularities and let $F\,{:}\, (\mathbb{R}^{1+n},0) \to (\mathbb{R},0)$ be a 1-parameter deformation of f. Let $ f_t ^{-1}(0) \cap B_\epsilon^n$ , $0 < \vert t \vert \ll \epsilon$ , be the “generalized” Milnor fiber of the deformation F. Under some conditions on F, we give a topological degree formula for the Euler characteristic of this fiber. This generalizes a result of Fukui.

We show that if $X$ is an $m$-dimensional definable set in $\mathbb {R}_\text {an}^\text{pow}$, the structure of real subanalytic sets with real power maps added, then for any positive integer $r$ there exists a $C^{r}$-parameterization of $X$ consisting of $cr^{m^{3}}$ maps for some constant $c$. Moreover, these maps are real analytic and this bound is uniform for a definable family.

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We also provide a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are C-minimal.

We prove field quantifier elimination for valued fields endowed with both an analytic structure that is $\unicode[STIX]{x1D70E}$-Henselian and an automorphism that is $\unicode[STIX]{x1D70E}$-Henselian. From this result we can deduce various Ax–Kochen–Eršov type results with respect to completeness and the independence property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first-order theory and that this theory does not have the independence property.

Let $K$ be the (real closed) field of Puiseux series in $t$ over ${\mathbf R}$ endowed with the natural linear order. Then the elements of the formal power series rings ${\mathbf R}[\![\xi_1,\dots,\xi_n]\!]$ converge $t$-adically on $[-t,t]^n$, and hence define functions $[-t,t]^n\to K$. Let ${\mathcal L}$ be the language of ordered fields, enriched with symbols for these functions. By Corollary 3.15, $K$ is o-minimal in ${\mathcal L}$. This result is obtained from a quantifier elimination theorem. The proofs use methods from non-Archimedean analysis.