Marek Karpinski, Angus Macintyre, Marek Karpinski (bonn, Angus Macintyre (oxford
Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we gave an invariant characterization of o-minimal expansions of IR. We apply this to construct the Pfaffian...