Department of Computer Science
 
Chair V

 
University of Bonn -> Department of Computer Science -> Chair V
CS-Reports 1999 Copyright 1999 University of Bonn, Department of Computer Science, 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
 Deutsch
University of Bonn -> Department of Computer Science -> Chair V