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

Preprint Number 235

Previous Next Preprint server

235. Chris Miller
Expansions of o-minimal structures on the real field by trajectories of linear vector fields

Submission date: 16 March 2010


Let M be an o-minimal expansion of the field of real numbers that defines nontrivial arcs of both the sine and exponential functions. Let G be a collection of images of solutions on intervals to differential equations y'=F(y), where F ranges over all R-linear transformations R^n --> R^n and n ranges over all positive integers. Then either the expansion of M by the elements of G is as well behaved relative to M as one could reasonably hope for, or it defines the set of all integers Z, and thus is as complicated as possible. In particular, if M defines any irrational power functions, then the expansion of M by the elements of G either is o-minimal or defines Z.

Mathematics Subject Classification: Primary 03C64; Secondary 34A30

Keywords and phrases: expansion of the real field, o-minimal, linear vector field

Full text: pdf, dvi, ps.

Last updated: March 20 2010 20:22 Please send your corrections to: