|
Universität Bonn -> Institut für Informatik -> Abteilung V | ||
CS-Reports 1997 | Copyright 1997 Universität Bonn, Institut für Informatik, 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
English |
Universität Bonn -> Institut für Informatik -> Abteilung V |