Analytic stratification in the Pfaffian closure of an \(o\)-minimal structure (Q1572887)

The \(o\)-minimal structure \(\widetilde\mathbb{R}\) is said to admit analytic cell decomposition if, for any finite collection \(A_1,\dots, A_k \subseteq \mathbb{R}^n\) of sets definable in \(\widetilde\mathbb{R}\), there is a decomposition \(\Gamma\) of \(\mathbb{R}^n\) into finitely many analytic cells definable in \(\widetilde\mathbb{R}\), such that each \(A_i\) is a union of cells in \(\Gamma\). It is proved in the paper that if the \(o\)-minimal structure \(\widetilde\mathbb{R}\) admits analytic cell decomposition, so does \(\widetilde\mathbb{R}_1\), its expansion by Rode leaves over \(\widetilde\mathbb{R}\).