The Pfaffian closure on an o-minimal structure

Patrick Speissegger

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…