Abstract
We show that the Pfaffian closure of an o-minimal structure with analytic cell decomposition is model complete. This is achieved by proving a theorem of the complement for nested sub-Pfaffian sets over the o-minimal structure in question.
An Isaac Newton Institute WorkshopAn Introduction to Recent Applications of Model TheoryThe theorem of the complement for nested sub-Pfaffian sets5th April 2005 Authors: Jean-Marie Lion (Université de Rennes I), Patrick Speissegger (McMaster University) AbstractWe show that the Pfaffian closure of an o-minimal structure with analytic cell decomposition is model complete. This is achieved by proving a theorem of the complement for nested sub-Pfaffian sets over the o-minimal structure in question. |