Institut für Informatik
 
Abteilung V

 
Universität Bonn -> Institut für Informatik -> Abteilung V
CS-Reports 1999 Copyright 1999 Universität Bonn, Institut für Informatik, Abt. V
85203

A Generalization of Wilkie's Theorem of the Complement and an Application to Pfaffian Closure
Marek Karpinski, Angus Macintyre
[Download PostScript] [Download PDF]

%We study $o$-minimal expansions of the real field and apply it to %its Pfaffian closure. We remove in doing so the usual $\Cinf$ %assumption, exactly to the extend to which this is possible. % 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 closure of an arbitrary o-minimal expansion of $\IR$.

Last Change: 07/05/01 at 14:03:14
 English
Universität Bonn -> Institut für Informatik -> Abteilung V