CE-cell decomposition and open cell property in o-minimal structures (Q529163): Difference between revisions

The notion of a CE-cell (continuous extension cell) is a reminiscence of the notion of an \(s\)-cell, known in the subanalytic context, introduced by \textit{K. Kurdyka} [Lect. Notes Math. 1524, 316--322 (1992; Zbl 0779.32006)]. The main result of the paper under review says that for any o-minimal structure \(\mathcal{M}\) the following are equivalent: a) \(\mathcal{M}\) has the CE-cell decomposition property, b) \(\mathcal{M}\) has both the open cell property (OCP) and the existence of limit property (ELP). An example of an o-minimal structure with OCP but without the CE-cell decomposition property is also given. Some caution when reading is needed, especially: the definitions, Proposition 2.1 (assume \(\dim C >1\)) and Theorem 2.9 (false even for the real semilinear sets). But the above do not spoil the main result.