We show that every valued differential field has an immediate strict extension that is spherically complete. We also discuss the issue of uniqueness up to isomorphism of such an extension.

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

Keywords: immediate extension, Krull's theorem, valued differential field, spherical complete

View: Pdf, BibTeX