Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
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 NTP2 to show that said valued difference fields are NTP2 if and only if value group and residue field are.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.