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...

Let f: ℝⁿ → ℝ be a C² semialgebraic function and let c be an asymptotic critical value of f. We prove that there exists a smallest rational number ${\varrho }_c\le 1$ such that |x|·|∇f| and ${|f\left(x\right)-c|}^{{\varrho }_c}$ are separated at infinity. If c is a regular value and ${\varrho }_c<1$, then f is a locally trivial fibration over c, and the trivialisation is realised by the flow of the gradient field of f.

We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order formula defining the family. As an important consequence, we derive that the number of distinct homotopy types of semi-algebraic subsets of ${ℝ}^k$ defined by a quantifier-free first order formula $\Phi$, where the sum of the additive complexities of the polynomials appearing...

We give a characterization of the irreducible components of a Weierstrass-type (W-type) analytic (resp. algebraic, Nash) variety in terms of the orbits of a Galois group associated in a natural way to this variety. Since every irreducible variety of pure dimension is (locally) a component of a W-type variety, this description may be applied to any such variety.

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.

For a symmetric (= invariant under the action of a compact Lie group G) semialgebraic basic set C, described by s polynomial inequalities, we show, that C can also be written by s + 1 G-invariant polynomials. We also describe orbit spaces for the action of G by a number of inequalities only depending on the structure of G.

We associate to a given polynomial map from ${ℂ}^2$ to itself with nonvanishing Jacobian a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map.

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.

Let f: ℝⁿ → ℝ be a nonconstant polynomial function. Using the information from the "curve of tangency" of f, we provide a method to determine the Łojasiewicz exponent at infinity of f. As a corollary, we give a computational criterion to decide if the Łojasiewicz exponent at infinity is finite or not. Then we obtain a formula to calculate the set of points at which the polynomial f is not proper. Moreover, a relation between the Łojasiewicz exponent at infinity of f and the problem of computing...

We will prove that the Pierce-Birkhoff Conjecture holds for non-singular two-dimensional affine real algebraic varieties over real closed fields, i.e., if $W$ is such a variety, then every piecewise polynomial function on $W$ can be written as suprema of infima of polynomial functions on $W$. More precisely, we will give a proof of the so-called Connectedness Conjecture for the coordinate rings of such varieties, which implies the Pierce-Birkhoff Conjecture.

Given integers $D\&gt;0,n\&gt;1,0\&lt;r\&lt;n$ and a constant $C\&gt;0$, consider the space of $r$-tuples $\overrightarrow{P}=(P_1...P_r)$ of real polynomials in $n$ variables of degree $\le D$, whose coefficients are $\le C$ in absolute value, and satisfying $\det {\left(\frac{\partial P_i}{\partial x_i}\left(0\right)\right)}_{1\le i,j\le r}=1$. We study the family $\left\{f\right|V\}$ of algebraic functions, where $f$ is a polynomial, and $V=\left\{\right|x|\le \delta ,\overrightarrow{P}(x)=0\},\delta \&gt;0$ being a constant depending only on $n,D,C$. The main result is a quantitative extension theorem for these functions which is uniform in $\overrightarrow{P}$. This is used to prove Bernstein-type inequalities which are again uniform with respect to $\overrightarrow{P}$.The proof is based on...