A conjectural classification of strongly dependent fields

DOI10.1017/BSL.2019.13MaRDI QIDQ5226593zbMATH OpenOpenAlexWikidataFDO

Authors Yatir Halevi, Assaf Hasson, Franziska Jahnke

Publication date 1 August 2019

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

strong dependenceNIPvalued fieldsShelah's conjecture

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

Abstract: We survey the history of Shelah's conjecture on strongly dependent fields, give an equivalent formulation in terms of a classification of strongly dependent fields and prove that the conjecture implies that every strongly dependent field has finite dp-rank.

Recommendations

• Dp-finite fields. I(B): Positive characteristic
• Eliminating field quantifiers in strongly dependent henselian fields
• Strongly NIP almost real closed fields
• Strongly dependent ordered abelian groups and Henselian fields
• Dp-finite fields. I(A): The infinitesimals

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 3769606 (Why is no real title available?)
• A Guide to NIP Theories
• A course in model theory
• Artin-Schreier extensions in NIP and simple fields
• Cell decompositions of C-minimal structures
• Definable Henselian valuations
• Definable Sets in Ordered Structures. I
• Definable V-topologies, Henselianity and NIP
• Definable valuations induced by definable subgroups
• Definable valuations induced by multiplicative subgroups and NIP fields
• Dependent first order theories, continued
• Diophantine Problems Over Local Fields I
• Dp-minimal valued fields
• Eliminating field quantifiers in strongly dependent henselian fields
• Formally p-adic fields
• Groups of small Morley rank
• Immediate and purely wild extensions of valued fields
• Lectures on the model theory of valued fields
• Minimale Gruppen
• On ω_1-categorical theories of fields
• On dp-minimality, strong dependence and weight
• Strongly dependent theories
• Superstable fields and groups
• The Theory of Ordered Abelian Groups does not have the Independence Property
• The canonical topology on dp-minimal fields
• The dp-rank of abelian groups
• Theories without the tree property of the second kind
• Uniformly defining \(p\)-Henselian valuations
• Value groups, residue fields, and bad places of rational function fields
• Valued Fields
• Weakly o-minimal structures and real closed fields
• \(p\)-Henselian fields

Cited in

(14)

• Enriching a predicate and tame expansions of the integers
• Externally definable quotients and NIP expansions of the real ordered additive group
• Henselianity in NIP \(\mathbb{F}_p\)-algebras
• Exposé Bourbaki 1185 : Joinings classification and applications (after Einsiedler and Lindenstrauss)
• Onn-dependent groups and fields II
• Dp-finite fields. I(A): The infinitesimals
• Immediately algebraically closed fields
• Strongly NIP almost real closed fields
• Strongly dependent theories
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Dp-finite fields. I(B): Positive characteristic
• The classification of dp-minimal and dp-small fields
• Definable V-topologies, Henselianity and NIP
• Characterizing NIP henselian fields

This page was built for publication: A conjectural classification of strongly dependent fields

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