Hardy Fields, the Intermediate Value Property, and -Freeness


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.

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

View: Pdf, BibTeX