The main purpose of this paper is to present a natural method of decomposition into special cubes and to demonstrate how it makes it possible to efficiently achieve many well-known fundamental results from quasianalytic geometry as, for instance, Gabrielov's complement theorem, o-minimality or quasianalytic cell decomposition.

We prove that for a finite collection of sets $A₁,...,A_s\subset {ℝ}^{k+n}$ definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto ${ℝ}^k$ satisfy the Whitney property with exponent 1.

We present a tameness property of sets definable in o-minimal structures by showing that Morse functions on a definable closed set form a dense and open subset in the space of definable $C^p$ functions endowed with the Whitney topology.

In a previous paper by Koike and Paunescu, it was introduced the notion of direction set for a subset of a Euclidean space, and it was shown that the dimension of the common direction set of two subanalytic subsets, called the directional dimension, is preserved by a bi-Lipschitz homeomorphism, provided that their images are also subanalytic. In this paper we give a generalisation of the above result to sets definable in an o-minimal structure on an arbitrary real closed field. More precisely, we...

Pour un ensemble sous-analytique, connexe fermé, la distance géodésique est atteinte et est uniformément équivalente, avec des constantes arbitrairement proches de 1, à une distance sous-analytique.

We demonstrate that the Łojasiewicz theorem on the division of distributions by analytic functions carries over to the case of division by quasianalytic functions locally definable in an arbitrary polynomially bounded, o-minimal structure which admits smooth cell decomposition. Hence, in particular, the principal ideal generated by a locally definable quasianalytic function is closed in the Fréchet space of smooth functions.

We prove that any divisor $Y$ of a global analytic set $X\subset {ℝ}^n$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$. We also prove that there are functions with arbitrary multiplicities along $Y$. The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X/Y$ is not connected and $Y$ represents the zero class in $H_{q-1}^{\infty }(X,{\mathbb{Z}}_2)$ then the divisor $Y$ is globally principal.