English

Spherically complete models of Hensel minimal valued fields

Logic 2024-01-19 v2

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

Keywords

Cite

@article{arxiv.2109.08619,
  title  = {Spherically complete models of Hensel minimal valued fields},
  author = {David Bradley-Williams and Immanuel Halupczok},
  journal= {arXiv preprint arXiv:2109.08619},
  year   = {2024}
}

Comments

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

R2 v1 2026-06-24T06:04:47.784Z