Abstract: Let R be an o-minimal expansion of the real field. We introduce a class of Hausdorff limits, the T-infinity limits over R, that do not in general fall under the scope of Marker and Steinhorn's definability-of-types theorem. We prove that if R admits analytic cell decomposition, then every T-infinity limit over R is definable in the pfaffian closure of R.
Recommendations
Cites work
- A geometric proof of the definability of Hausdorff limits
- A theorem of the complement and some new o-minimal structures
- Definable types in -minimal theories
- The Pfaffian closure of an o-minimal structure
- The real field with convergent generalized power series
- The theorem of the complement for nested sub-Pfaffian sets
- Volumes, Rolle leaves of analytic foliations and Wilkie's theorem
Cited in
(7)- Topology of definable Hausdorff limits
- A short geometric proof that Hausdorff limits are definable in any o-minimal structure
- The Pfaffian closure of an o-minimal structure
- A definable Haefliger-type theorem
- Generating the Pfaffian closure with total Pfaffian functions
- Gromov-Hausdorff limits in definable families
- Analytic stratification in the Pfaffian closure of an o-minimal structure
This page was built for publication: Hausdorff limits of Rolle leaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1940348)
