Submission date: 26 May 2021

Abstract:

Liouville closed H-fields are ordered differential fields whose ordering and derivation interact in a natural way and where every linear differential equation of order 1 has a nontrivial solution. (The introduction gives a precise definition.) For a Liouville closed H-field K with small derivation we show: K has the Intermediate Value Property for differential polynomials iff K is elementarily equivalent to the ordered differential field of transseries. We also indicate how this applies to Hardy fields.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2105.12631: pdf, ps.