Institut für Informatik
 
Abteilung V

 
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