Valued difference fields and NTP₂

DOI10.1007/S11856-014-1094-ZMaRDI QIDQ480802zbMATH OpenOpenAlexFDO

Authors Artem Chernikov, Martin Hils

Publication date 11 December 2014

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.1341

zbMATH Keywords

\(\mathrm{NTP}_2\)non-standard Frobenius automorphismvalued difference field

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Difference algebra (12H10) Model theory of fields (12L12) Formally (p)-adic fields (12J12)

Abstract: We show that the theory of the non-standard Frobenius automorphism, acting on an algebraically closed valued field of equal characteristic 0, is NTP2. More generally, in the contractive as well as in the isometric case, we prove that a sigma-henselian valued difference field of equicharacteristic 0 is NTP2, provided both the residue difference field and the value group (as an ordered difference group) are NTP2.

Recommendations

• Groups and fields with \(\mathrm{NTP}_{2}\)
• Multiplicative valued difference fields
• Elementary theory of valued fields with a valuation-preserving automorphism
• NIP Henselian valued fields
• Model theory of the Frobenius on the Witt vectors

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 2020241 (Why is no real title available?)
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• A model complete theory of valued \(D\)-fields
• Classification theory and the number of non-isomorphic models.
• Elementary Properties of Ordered Abelian Groups
• Elementary theory of valued fields with a valuation-preserving automorphism
• Forking and dividing in NTP\(_{2}\) theories
• Integration in valued fields
• Model theory of difference fields
• Model theory of the Frobenius on the Witt vectors
• Multiplicative valued difference fields
• Non-Archimedean tame topology and stably dominated types
• Simple unstable theories
• Stable domination and independence in algebraically closed valued fields
• Strongly dependent theories
• The Manin-Mumford conjecture and the model theory of difference fields
• The Theory of Ordered Abelian Groups does not have the Independence Property
• Theories without the tree property of the second kind
• Uniform p-adic cell decomposition and local zeta functions.
• Valued fields with contractive automorphism and Kaplansky fields

Cited in

(15)

• NIP Henselian valued fields
• Dense codense predicates and the \(\mathrm{NTP}_{2}\)
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• The amalgamation property for automorphisms of ordered abelian groups
• Non-forking and preservation of NIP and dp-rank
• Theories without the tree property of the second kind
• Model theory of the Frobenius on the Witt vectors
• Some supplements to Feferman-Vaught related to the model theory of adeles
• On the antichain tree property
• Quantifier elimination for valued fields equipped with an automorphism
• Henselian valued fields and inp-minimality
• Burden in Henselian valued fields
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Groups and fields with \(\mathrm{NTP}_{2}\)
• Characterizing NIP henselian fields

This page was built for publication: Valued difference fields and \(\mathrm{NTP}_2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q480802)