Strongly Dependent Ordered Abelian Groups and Henselian Fields

Abstract

Strongly dependent ordered abelian groups have finite dp-rank. They are precisely those groups with finite spines and $|\{p\text{ prime}:[G:pG]=\infty\}|<\infty$. We apply this to show that if $K$ is a strongly dependent field, then $(K,v)$ is strongly dependent for any henselian valuation $v$.