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) Formally (p)-adic fields (12J12) Model theory of fields (12L12)

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

• 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
• 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?)
• 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

(20)

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

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)