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

Abstract

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