加载中…
Let be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let be a model of equipped with a -convex valuation ring and a -derivation. If this derivation is continuous with respect to the valuation topology, then we call a -convex -differential field. We show that every -convex -differential field has an immediate strict -convex -differential field extension which is spherically complete. In some important cases, the assumption of polynomial boundedness can be relaxed to power boundedness.

生成讲解博客的中文版本

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