Distality in valued fields and related structures

DOI10.1090/TRAN/8661zbMATH Open1498.03073arXiv2008.09889OpenAlexW4213259749MaRDI QIDQ5082371FDOQ5082371

Authors:

Publication date: 16 June 2022

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian valued fields, and demonstrate that certain expansions of fields, e.g., the differential field of logarithmic-exponential transseries, are distal. As a new tool for analyzing valued fields we employ a relative quantifier elimination for pure short exact sequences of abelian groups.

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

Recommendations

• Distality for the asymptotic couple of the field of logarithmic transseries
• Topological fields with a generic derivation
• Dp-minimal valued fields
• Distal and non-distal pairs
• Some properties of analytic difference valued fields

zbMATH Keywords

Henselian valued fieldsexpansionsNIPdistalityAKEShelah's conjecture

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Valued fields (12J10) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Title not available (Why is that?)
• Model theory of modules
• \(p\)-adic and real subanalytic sets
• The Szemerédi-Trotter theorem in the complex plane
• Valued Fields
• Title not available (Why is that?)
• A Szemerédi-Trotter type theorem in \(\mathbb R^4\)
• Formally \(p\)-adic fields
• Elementary Properties of Ordered Abelian Groups
• Distal and non-distal NIP theories
• Asymptotic differential algebra and model theory of transseries
• On dp-minimal ordered structures
• Theories without the tree property of the second kind
• Groups and fields with \(\mathrm{NTP}_{2}\)
• Dependent first order theories, continued
• On dp-minimality, strong dependence and weight
• Topological differential fields
• A Class of Differential Fields with Minimal Differential Closures
• Externally definable sets and dependent pairs
• The Theory of Ordered Abelian Groups does not have the Independence Property
• Title not available (Why is that?)
• Differential Weil descent
• Title not available (Why is that?)
• Analytic cell decomposition and analytic motivic integration
• Artin-Schreier extensions in NIP and simple fields
• Uniformly defining \(p\)-Henselian valuations
• Paires de structures O-minimales
• A Guide to NIP Theories
• The model theory of ordered differential fields
• One-Dimensional p -Adic Subanalytic Sets
• Euklidische Körper und euklidische Hüllen von Körpern.
• Some properties of analytic difference valued fields
• The uniform companion for large differential fields of characteristic 0
• Types in valued fields with coefficient maps
• Some remarks concerning the theory of ordered differentially closed fields.
• Elementary characterization of fields by their absolute Galois group
• Quantifier elimination in ordered abelian groups
• Regularity lemma for distal structures
• Cutting lemma and Zarankiewicz's problem in distal structures
• Externally definable sets and dependent pairs. II
• Distality for the asymptotic couple of the field of logarithmic transseries
• Title not available (Why is that?)
• Relative decidability and definability in Henselian valued fields
• Generalized Archimedean Groups
• The theory of closed ordered differential fields with \(m\) commuting derivations
• Strongly dependent ordered abelian groups and Henselian fields
• Some model theory for almost real closed fields
• Henselian valued fields and inp-minimality
• Model-theoretic Elekes–Szabó in the strongly minimal case
• Dp-minimal valued fields
• A Characterization of Strongly Dependent Ordered Abelian Groups
• Exact saturation in simple and NIP theories
• Generic derivations on o-minimal structures
• Definable valuations induced by multiplicative subgroups and NIP fields
• Definable Henselian valuations
• Definable non-divisible Henselian valuations
• Definable V-topologies, Henselianity and NIP
• Title not available (Why is that?)
• Non-forking and preservation of NIP and dp-rank
• The definable \((p,q)\)-theorem for distal theories

Cited In (17)

• ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
• Topological fields with a generic derivation
• Differentially large fields
• Incidence bounds in positive characteristic via valuations and distality
• Hensel minimality II: Mixed characteristic and a diophantine application
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• Hamel spaces and distal expansions
• Dp-finite fields. I(B): Positive characteristic
• Burden in Henselian valued fields
• DISTALITY RANK
• THEORIES WITH DISTAL SHELAH EXPANSIONS
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Distality for the asymptotic couple of the field of logarithmic transseries
• Generic derivations on o-minimal structures
• Product-free sets in approximate subgroups of distal groups
• Ramsey growth in some NIP structures
• Distal and non-distal pairs

This page was built for publication: Distality in valued fields and related structures

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