Maximal immediate extensions of valued differential fields


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