Hausdorff limits of Rolle leaves (Q1940348)

The authors continue their program to describe the Pfaffian closure of an o-minimal structure. Let \(\mathcal{R}\) be an o-minimal expansion of the real field. In the paper under review so-called \(T^\infty\)-limits over \(\mathcal{R}\) are introduced. A \(T^\infty\)-limit is a Hausdorff limit of a so-called \(T^\infty\)-sequence of integral manifolds of a definable integrable nested distribution on a definable manifold. The definitions are quite technical; we refer to the paper for the details. The \(T^\infty\)-limits generalize the Pfaffian limits over \(\mathcal{R}\) introduced in the authors [Duke Math. J. 155, No. 1, 35--90 (2010; Zbl 1226.14075)] and were used in [\textit{J.-M. Lion} and \textit{J.-P. Rolin}, Ann. Fac. Sci. Toulouse, VI. Sér., Math. 7, No. 1, 93--112 (1998; Zbl 0933.32014)] to establish the o-minimality of the expansion of \(\mathbb{R}_{\mathrm{an}}\) by all Rolle leaves over \(\mathbb{R}_{\mathrm{an}}\) of codimension one. Pfaffian limits over \(\mathcal{R}\) are definable in the Pfaffian closure \(\mathcal{P}(\mathcal{R})\) over \(\mathcal{R}\) (see, the second author [J. Reine Angew. Math. 508, 189--211 (1999; Zbl 1067.14519)] for this notion) by a variant of Markers and Steinhorn's definability-of-types theorem. Not having this at their disposal the authors show that the \(T^\infty\)-limits over \(\mathcal{R}\) are definable in \(\mathcal{P}(\mathcal{R})\) under the assumption that the o-minimal structure \(\mathcal{R}\) admits analytic cell decomposition.