Transition maps at non-resonant hyperbolic singularities are o-minimal
Abstract
We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in this structure. This structure also defines all convergent generalized power series with natural support and is polynomially bounded.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- December 2006
- DOI:
- 10.48550/arXiv.math/0612745
- arXiv:
- arXiv:math/0612745
- Bibcode:
- 2006math.....12745K
- Keywords:
-
- Mathematics - Dynamical Systems;
- Mathematics - Logic;
- 37C27;
- 37E35;
- 03C64
- E-Print:
- 49 pages, 2 figures