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

生成讲解博客的中文版本

生成AI智能校验的中文版本