Maximal immediate extensions of valued differential fields
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]


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