Journal of Symbolic Logic, vol.82, no.4, pp.1519-1540, 2017 (SCI-Expanded)
We introduce a notion of valued module which is suitable to study valued fields of positive characteristic. Then we built-up a robust theory of henselianity in the language of valued modules and prove Ax-Kochen Ershov type results.