Imaginaries in equicharacteristic zero henselian fields

Silvain Rideau-Kikuchi,Mariana Vicaría
2024-05-30
Abstract: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 imaginaries. For a large class of value groups containing all subgroups of (\mathbb{R}^n) for some (n), we prove that the imaginaries of such a valued field can be elimininated in the field, the k-linear imaginaries and the imaginaries of the value group.
Logic
What problem does this paper attempt to address?