The theorem of the complement for nested subpfaffian sets
Abstract
Let R be an o-minimal expansion of the real field, and let L(R) be the language consisting of all nested Rolle leaves over R. We call a set nested subpfaffian over R if it is the projection of a boolean combination of definable sets and nested Rolle leaves over R. Assuming that R admits analytic cell decomposition, we prove that the complement of a nested subpfaffian set over R is again a nested subpfaffian set over R. As a corollary, we obtain that if R admits analytic cell decomposition, then the pfaffian closure P(R) of R is obtained by adding to R all nested Rolle leaves over R, a one-stage process, and that P(R) is model complete in the language L(R).
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- February 2006
- DOI:
- 10.48550/arXiv.math/0602196
- arXiv:
- arXiv:math/0602196
- Bibcode:
- 2006math......2196L
- Keywords:
-
- Mathematics - Differential Geometry;
- Mathematics - Logic;
- 14P10;
- 58A17;
- 03C99
- E-Print:
- final version before publication