In a locally compact nontrivially valued field, the valuation ring is compact. A Cauchy sequence has a tail inside a translate of this compact set, hence a convergent subsequence. The Cauchy property forces the full sequence to converge.
Articles by others on the same topic
There are currently no matching articles.