Constructing $ω$-free Hardy fields

Matthias Aschenbrenner,Lou van den Dries,Joris van der Hoeven

2024-04-03

Abstract:We show that every Hardy field extends to an $\omega$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [12], and here we apply it to answer questions of Boshernitzan, and to generalize a theorem of his.

Commutative Algebra,Classical Analysis and ODEs,Dynamical Systems,Logic