Hardy fields, the intermediate value property, and ω-freeness

2019/04/01 by Aschenbrenner, Matthias, Dries, Lou van den, van der Hoeven, Joris
#Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1904.01069

Abstract

We discuss the conjecture that every maximal Hardy field has the Intermediate Value Property for differential polynomials, and its equivalence to the statement that all maximal Hardy field are elementarily equivalent to the differential field of transseries. As a modest but essential step towards establishing the conjecture we show that every maximal Hardy field is ω-free.

Related

• The theory of maximal Hardy fields
• Maximal Hardy Fields
• Constructing ω-free Hardy fields
• Relative differential closure in Hardy fields
• Analytic Hardy fields