Presented by:
J-M Lion & P Speissegger [Universite de Rennes 1/McMaster]
Date:
Tuesday 5th April 2005 - 15:30 to 16:30
Venue:
INI Seminar Room 1
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.