Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 96

Preprint Number 96

Previous Next Preprint server

96. Tamara Servi
Noetherian Varieties in Definably Complete Structures

Submission date: 5 November 2007


We prove that the zero-set of a C-infinity function belonging to a noetherian differential ring M can be written as a finite union of C-infinity manifolds which are definable by functions from the same ring. These results hold not only over the reals, but more generally for definable C-infinity functions in a definably complete expansion of an ordered field. We provide examples of noetherian differential rings of C-infinity functions over the reals, containing non-analytic functions.

Mathematics Subject Classification: 03C64, 26E10 and 26E30

Keywords and phrases: Noetherian Varieties, Definable completeness, o-minimality, Quasi-analytic functions

Full text: pdf, dvi, ps.

Last updated: November 5 2007 17:29 Please send your corrections to: