The theorem of the complement for nested subpfaffian sets

Jean-Marie Lion, Patrick Speissegger

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 p…