This is a generalized and improved version of our earlier article [Studia Math. 124 (1997)] on the Whitney extension theorem for subanalytic ${}^p$-Whitney fields (with p finite). In this new version we consider Whitney fields definable in an arbitrary o-minimal structure on any real closed field R and obtain an extension which is a ${}^p$-function definable in the same o-minimal structure. The Whitney fields that we consider are defined on any locally closed definable subset of Rⁿ. In such a way, a local...

This paper presents certain characterizations through blowing up of arc-analytic functions definable by a convergent Weierstrass system closed under complexification.

We prove the o-minimal generalization of the Łojasiewicz inequality $\parallel \mathrm{grad}f\parallel \ge |f{|}^{\alpha }$, with $\alpha \<1$, in a neighborhood of $a$, where $f$ is real analytic at $a$ and $f\left(a\right)=0$. We deduce, as in the analytic case, that trajectories of the gradient of a function definable in an o-minimal structure are of uniformly bounded length. We obtain also that the gradient flow gives a retraction onto levels of such functions.

We give a deepened version of a lemma of Gabrielov and then use it to prove the following fact: if h ∈ 𝕂[[X]] (𝕂 = ℝ or ℂ) is a root of a non-zero polynomial with convergent power series coefficients, then h is convergent.

We prove that the semialgebraic, algebraic, and algebraic nonsingular points of a definable set in o-minimal structure with analytic cell decomposition are definable. Moreover, the operation of taking semialgebraic points is idempotent and the degree of complexity of semialgebraic points is bounded.

We give some structures without quantifier elimination but in which the closure, and hence the interior and the boundary, of a quantifier free definable set is also a quantifier free definable set.

Let R be a real closed field, and denote by ${}_{R,n}$ the ring of germs, at the origin of Rⁿ, of $C^{\infty }$ functions in a neighborhood of 0 ∈ Rⁿ. For each n ∈ ℕ, we construct a quasianalytic subring ${}_{R,n}{\subset }_{R,n}$ with some natural properties. We prove that, for each n ∈ ℕ, ${}_{R,n}$ is a noetherian ring and if R = ℝ (the field of real numbers), then ${}_{ℝ,n}=ₙ$, where ₙ is the ring of germs, at the origin of ℝⁿ, of real analytic functions. Finally, we prove the Real Nullstellensatz and solve Hilbert’s 17th Problem for the ring ${}_{R,n}$.

By the Oka-Weil theorem, each holomorphic function f in a neighbourhood of a compact polynomially convex set $K\subset {ℂ}^N$ can be approximated uniformly on K by complex polynomials. The famous Bernstein-Walsh-Siciak theorem specifies the Oka-Weil result: it states that the distance (in the supremum norm on K) of f to the space of complex polynomials of degree at most n tends to zero not slower than the sequence M(f)ρ(f)ⁿ for some M(f) > 0 and ρ(f) ∈ (0,1). The aim of this note is to deduce the uniform version,...

The purpose of this paper is to carry over to the o-minimal settings some results about the Euler characteristic of algebraic and analytic sets. Consider a polynomially bounded o-minimal structure on the field ℝ of reals. A ($C^{\infty }$) smooth definable function φ: U → ℝ on an open set U in ℝⁿ determines two closed subsets W := u ∈ U: φ(u) ≤ 0, Z := u ∈ U: φ(u) = 0. We shall investigate the links of the sets W and Z at the points u ∈ U, which are well defined up to a definable homeomorphism. It is proven...

A local-global version of the implicit function theorem in o-minimal structures and a generalization of the theorem of Wilkie on covering open sets by open cells are proven.

The paper establishes the basic algebraic theory for the Gevrey rings. We prove the Hensel lemma, the Artin approximation theorem and the Weierstrass-Hironaka division theorem for them. We introduce a family of norms and we look at them as a family of analytic functions defined on some semialgebraic sets. This allows us to study the analytic and algebraic properties of this rings.