2,264 research outputs found
Generic derivations on o-minimal structures
Let be a complete, model complete o-minimal theory extending the theory
RCF of real closed ordered fields in some appropriate language . We study
derivations on models . We introduce the notion
of a -derivation: a derivation which is compatible with the
-definable -functions on . We show
that the theory of -models with a -derivation has a model completion
. The derivation in models
behaves "generically," it is wildly discontinuous and its kernel is a dense
elementary -substructure of . If RCF, then
is the theory of closed ordered differential fields (CODF) as introduced by
Michael Singer. We are able to recover many of the known facts about CODF in
our setting. Among other things, we show that has as its open
core, that is distal, and that eliminates
imaginaries. We also show that the theory of -models with finitely many
commuting -derivations has a model completion.Comment: 29 page
- …