Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section

Christoph Kesting

We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP…