The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

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.