Imaginaries in equicharacteristic zero henselian fields
Résumé
We prove an elimination of imaginaires 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 elimininated in the field, the k-linear sorts and the imaginaries of the value group.