2024/04/03 by Aschenbrenner, Matthias, Dries, Lou van den, van der Hoeven, Joris
#Classical Analysis and ODEs (math.CA) #Commutative Algebra (math.AC) #Dynamical Systems (math.DS) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2404.03695
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 [11], and here we apply it to answer questions of Boshernitzan, and to generalize a theorem of his.