Submission date: 4 July 2011.

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.

Mathematics Subject Classification: Primary 14P15, 58A17, Secondary 03C64

Keywords and phrases:

Full text arXiv :1107.0648 pdf, ps.