Department of Computer Science
 
Chair V

 
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