TY - JOUR AU - Le Gal, Olivier AU - Matusinski, Mickaël AU - Sanz Sánchez, Fernando PY - 2021 SN - 0213-2230 UR - https://uvadoc.uva.es/handle/10324/68129 AB - We introduce a notion of regular separation for solutions of systems of ODEs y'=F(x; y), where F is definable in a polynomially bounded o-minimal structure and y=(y1,y2). Given a pair of solutions with flat contact, we prove that, if one of them... LA - eng PB - European Mathematical Society Press KW - solutions of ODEs, non-oscillating trajectories of vector fields, o-minimality, Hardy field, transcendental formal solutions TI - Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy DO - 10.4171/RMI/1311 ER -