Valued difference fields and NTP2
- Author(s): Chernikov, A
- Hils, M
- et al.
Published Web Locationhttps://doi.org/10.1007/s11856-014-1094-z
We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP . More generally, in the contractive as well as in the isometric case, we prove that a σ-Henselian valued difference field of equicharacteristic 0 is NTP , provided both the residue difference field and the value group (as an ordered difference group) are NTP . 2 2 2