Transition maps at non-resonant hyperbolic singularities are o-minimal

Tobias Kaiser, Jean-Philippe Rolin, Patrick Speissegger

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 singu…