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-h^mix-minimality (which, in equi-characteristic 0, amounts to 0-h-minimality).