We show that every Hardy field extends to an ω-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.

Authors: M. Aschenbrenner, L. van den Dries, J. van der Hoeven

View: Pdf, BibTeX