|
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 |