Fiberwise properties of definable sets and functions in o-minimal structures.
An ordered structure of rank two related to Dulac's Problem
For a vector field ξ on ℝ² we construct, under certain assumptions on ξ, an ordered model-theoretic structure associated to the flow of ξ. We do this in such a way that the set of all limit cycles of ξ is represented by a definable set. This allows us to give two restatements of Dulac’s Problem for ξ - that is, the question whether ξ has finitely many limit cycles-in model-theoretic terms, one involving the recently developed notion of -rank and the other involving the notion of o-minimality.
Page 1