A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure

M. Karpinski ^[1] ; A. Macintyre ^[2]
1. [1] University of Bonn
  
  University of Bonn
  
  Kreisfreie Stadt Bonn, Alemania
2. [2] University of Edinburgh
  
  University of Edinburgh
  
  Reino Unido
Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 5, Nº. 4, 1999, págs. 507-516
Idioma: inglés
DOI: 10.1007/s000290050055
Enlaces
- Texto completo (pdf)
Resumen
- Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we give an invariant characterization of o-minimal expansions of $\Bbb R$. We apply this to construct the Pfaffian closure of an arbitrary o-minimal expansion of $\Bbb R$.