An Isaac Newton Institute Workshop

An Introduction to Recent Applications of Model Theory

The theorem of the complement for nested sub-Pfaffian sets

5th April 2005

Authors: Jean-Marie Lion (Université de Rennes I), Patrick Speissegger (McMaster University)

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.