Distality in valued fields and related structures
From MaRDI portal
Publication:5082371
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)
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1633834 (Why is no real title available?)
- scientific article; zbMATH DE number 3643486 (Why is no real title available?)
- scientific article; zbMATH DE number 421394 (Why is no real title available?)
- scientific article; zbMATH DE number 4025497 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1008470 (Why is no real title available?)
- A Characterization of Strongly Dependent Ordered Abelian Groups
- A Class of Differential Fields with Minimal Differential Closures
- A Guide to NIP Theories
- A Szemerédi-Trotter type theorem in \(\mathbb R^4\)
- Analytic cell decomposition and analytic motivic integration
- Artin-Schreier extensions in NIP and simple fields
- Asymptotic differential algebra and model theory of transseries
- Cutting lemma and Zarankiewicz's problem in distal structures
- Definable Henselian valuations
- Definable V-topologies, Henselianity and NIP
- Definable non-divisible Henselian valuations
- Definable valuations induced by multiplicative subgroups and NIP fields
- Dependent first order theories, continued
- Differential Weil descent
- Distal and non-distal NIP theories
- Distality for the asymptotic couple of the field of logarithmic transseries
- Dp-minimal valued fields
- Elementary Properties of Ordered Abelian Groups
- Elementary characterization of fields by their absolute Galois group
- Euklidische Körper und euklidische Hüllen von Körpern.
- Exact saturation in simple and NIP theories
- Externally definable sets and dependent pairs
- Externally definable sets and dependent pairs. II
- Formally \(p\)-adic fields
- Generalized Archimedean Groups
- Generic derivations on o-minimal structures
- Groups and fields with \(\mathrm{NTP}_{2}\)
- Henselian valued fields and inp-minimality
- Model theory of modules
- Model-theoretic Elekes–Szabó in the strongly minimal case
- Non-forking and preservation of NIP and dp-rank
- On dp-minimal ordered structures
- On dp-minimality, strong dependence and weight
- One-Dimensional p -Adic Subanalytic Sets
- Paires de structures O-minimales
- Quantifier elimination in ordered abelian groups
- Regularity lemma for distal structures
- Relative decidability and definability in Henselian valued fields
- Some model theory for almost real closed fields
- Some properties of analytic difference valued fields
- Some remarks concerning the theory of ordered differentially closed fields.
- Strongly dependent ordered abelian groups and Henselian fields
- The Szemerédi-Trotter theorem in the complex plane
- The Theory of Ordered Abelian Groups does not have the Independence Property
- The definable \((p,q)\)-theorem for distal theories
- The model theory of ordered differential fields
- The theory of closed ordered differential fields with \(m\) commuting derivations
- The uniform companion for large differential fields of characteristic 0
- Theories without the tree property of the second kind
- Topological differential fields
- Types in valued fields with coefficient maps
- Uniformly defining \(p\)-Henselian valuations
- Valued Fields
- \(p\)-adic and real subanalytic sets
Cited in
(17)- Hamel spaces and distal expansions
- Dp-finite fields. I(B): Positive characteristic
- Distality for the asymptotic couple of the field of logarithmic transseries
- Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
- THEORIES WITH DISTAL SHELAH EXPANSIONS
- Distal and non-distal pairs
- Generic derivations on o-minimal structures
- Product-free sets in approximate subgroups of distal groups
- Topological fields with a generic derivation
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
- DISTALITY RANK
- ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
- Burden in Henselian valued fields
- Differentially large fields
- Ramsey growth in some NIP structures
- Incidence bounds in positive characteristic via valuations and distality
- Hensel minimality II: Mixed characteristic and a diophantine application
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)
