Burden in Henselian valued fields
Pierre Touchard · Annals of Pure and Applied Logic · 2023
In the spirit of the Ax-Kochen-Ershov principle, we show that in certain cases the burden of a Henselian valued field can be computed in terms of the burden of its residue field and that of its value group. To do so, we first see that the burden of such a field is equal to the burden of its leading term structure. These results are generalisations of Chernikov and Simon's work in [11] .