Submission date: 1 November 2023

Abstract:

We prove an elimination of imaginaries results for (almost all) henselian valued fields of equicharacteristic zero. To do so, we consider a mix of sorts introduced in earlier works of the two authors and define a generalized version of the k-linear sorts. Under technical assumptions on the value group we prove that the imaginaries of such a valued field can be eliminated in the field, the k-linear sorts and the imaginaries of the value group.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2311.00657: pdf, ps.