The Pfaffian closure on an o-minimal structure
arXiv:math/9710220
Abstract
Every o-minimal expansion R-tilde of the real field has an o-minimal expansion P(R-tilde) in which the solutions to Pfaffian equations with definable C^1 coefficients are definable.