This is an expository paper on a Theorem of the Complement, due to Wilkie, and its generalisations. Wilkie (Sel Math (NS) 5:397–421, 1999) gave necessary and sufficient conditions for an expansion of the real field by C-infinity functions to be o-minimal. Karpinski and Macintyre (Sel Math (NS) 5:507–516, 1999) weakened the original smoothness hypotheses of Wilkie’s theorem. Here we exhibit the proof of a generalised Wilkie’s result, where we further weaken the smoothness assumptions and show that the proof can be carried out not only over the real numbers but more generally in a non-Archimedean context, i.e. for definably complete Baire structures, which we introduced in 2008 and which form an axiomatizable class. Furthermore we give necessary and sufficient conditions for a definably complete Baire expansion of an o-minimal structure by C-infinity functions to be o-minimal.

Theorems of the Complement

SERVI, TAMARA
2010-01-01

Abstract

This is an expository paper on a Theorem of the Complement, due to Wilkie, and its generalisations. Wilkie (Sel Math (NS) 5:397–421, 1999) gave necessary and sufficient conditions for an expansion of the real field by C-infinity functions to be o-minimal. Karpinski and Macintyre (Sel Math (NS) 5:507–516, 1999) weakened the original smoothness hypotheses of Wilkie’s theorem. Here we exhibit the proof of a generalised Wilkie’s result, where we further weaken the smoothness assumptions and show that the proof can be carried out not only over the real numbers but more generally in a non-Archimedean context, i.e. for definably complete Baire structures, which we introduced in 2008 and which form an axiomatizable class. Furthermore we give necessary and sufficient conditions for a definably complete Baire expansion of an o-minimal structure by C-infinity functions to be o-minimal.
2010
Fornasiero, A.; Servi, Tamara
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/599869
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact