Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section

2024/09/16 by Kesting, Christoph · 2 citations
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2409.10406

Abstract

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 NIP transfer result for valued fields by Jahnke and Simon to NTP₂ to show that said valued difference fields are NTP₂ if and only if value group and residue field are.

Cited by

• Automorphisms of valued fields: amalgamation and existential closedness
• Dimension theory for the asymptotic couple of the field of logarithmic transseries

Related

• Quantifier Elimination For Tame Fields
• Equivalence of Valued Fields with Valuation Preserving Automorphism
• Quantifier Elimination for Valued Fields Equipped with an Automorphism
• NIP henselian valued fields
• Burden of henselian valued fields in the Denef-Pas language