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

(19)

• Enriching a predicate and tame expansions of the integers
• Some supplements to Feferman-Vaught related to the model theory of adeles
• NIP Henselian valued fields
• Dense codense predicates and the \(\mathrm{NTP}_{2}\)
• Beautiful pairs
• Un principe d'Ax-Kochen-Ershov imaginaire
• Quantifier elimination for valued fields equipped with an automorphism
• Henselian valued fields and inp-minimality
• Non-forking and preservation of NIP and dp-rank
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• Theories without the tree property of the second kind
• Burden in Henselian valued fields
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• On the antichain tree property
• The amalgamation property for automorphisms of ordered abelian groups
• Model theory of the Frobenius on the Witt vectors
• Contracting endomorphisms of valued fields (with an appendix by Itay Kaplan)
• 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)