A conjectural classification of strongly dependent fields

DOI10.1017/BSL.2019.13zbMATH Open1477.03134arXiv1805.03814OpenAlexW3100970699WikidataQ128302624 ScholiaQ128302624MaRDI QIDQ5226593FDOQ5226593

Authors: Yatir Halevi, Assaf Hasson, Franziska Jahnke 

Publication date: 1 August 2019

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Valued Fields
• Definable Sets in Ordered Structures. I
• Weakly o-minimal structures and real closed fields
• Formally \(p\)-adic fields
• Strongly dependent theories
• Immediate and purely wild extensions of valued fields
• Value groups, residue fields, and bad places of rational function fields
• Diophantine Problems Over Local Fields I
• A course in model theory
• Theories without the tree property of the second kind
• Title not available (Why is that?)
• Dependent first order theories, continued
• On dp-minimality, strong dependence and weight
• Minimale Gruppen
• On $ω_1$-categorical theories of fields
• The Theory of Ordered Abelian Groups does not have the Independence Property
• Cell decompositions of \(C\)-minimal structures
• Artin-Schreier extensions in NIP and simple fields
• Uniformly defining \(p\)-Henselian valuations
• A Guide to NIP Theories
• Definable Valuations Induced by Definable Subgroups
• Superstable fields and groups
• Lectures on the Model Theory of Valued Fields
• Groups of small Morley rank
• Eliminating field quantifiers in strongly dependent henselian fields
• \(p\)-Henselian fields
• The canonical topology on dp-minimal fields
• DP-MINIMAL VALUED FIELDS
• Definable valuations induced by multiplicative subgroups and NIP fields
• DEFINABLE HENSELIAN VALUATIONS
• Definable V-topologies, Henselianity and NIP
• THE DP-RANK OF ABELIAN GROUPS

Cited In (11)

• Externally definable quotients and NIP expansions of the real ordered additive group
• Henselianity in NIP \(\mathbb{F}_p\)-algebras
• Dp-finite fields. I(A): The infinitesimals
• Strongly NIP almost real closed fields
• DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
• Immediately algebraically closed fields
• Strongly dependent theories
• 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)