Spherically complete models of Hensel minimal valued fields

Abstract

We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is $0$-hmix-minimality (which, in equi-characteristic $0$, amounts to $0$-h-minimality).

11 pages; Remark 3.2 added; Revised and expanded Introduction and Related Questions

References in corpus (1)

• $T$-convex $T$-differential fields and their immediate extensions