Angus Macintyre (edinburgh

A Generalization of Wilkie's Theorem of the Complement, and an Application to Pfaffian Closure (2007)

Marek Karpinski, Angus Macintyre, Marek Karpinski (bonn, Angus Macintyre (edinburgh

Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we give an invariant characterization of o-minimal expansions of IR. We apply this to construct the Pfaffian...

A Generalization of Wilkie's Theorem of the Complement, and an Application to Pfaffian Closure (1999)

Marek Karpinski Bonn, Angus Macintyre (edinburgh

Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we give an invariant characterization of o-minimal expansions of IR. We apply this to construct the Pfaffian...