Maximal immediate extensions of valued differential fields
arXiv:1701.06691 · doi:10.1112/plms.12128
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.
31 pp; updated according to suggestions by the referee