A Conjectural Classification of Strongly Dependent Fields

TL;DR

This paper surveys Shelah's conjecture on strongly dependent fields, providing an equivalent classification and proving that such fields have finite dp-rank, advancing understanding in model theory.

Contribution

It offers an equivalent formulation of Shelah's conjecture and proves that all strongly dependent fields possess finite dp-rank, connecting classification with model-theoretic properties.

Findings

Shelah's conjecture is equivalent to a classification of strongly dependent fields.

Every strongly dependent field has finite dp-rank.

The survey links conjecture to model-theoretic classification.

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.