|
University of Bonn -> Department of Computer Science -> Chair V | ||
CS-Reports 1997 | Copyright 1997 University of Bonn, Department of Computer Science, Abt. V | |
85173
|
o-Minimal Expansions of the Real Field: A Characterization, and an Application to Pfaffian Closure
Marek Karpinski, Angus Macintyre [Download PostScript] [Download PDF] Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we gave 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:
08/18/99 at 13:00:38
Deutsch |
University of Bonn -> Department of Computer Science -> Chair V |