Discretely valued field
= Discretely valued field
A discretely valued field is a field equipped with a <discrete valuation>. It is complete when every <Cauchy sequence> for the induced metric converges.
= Discretely valued field
A discretely valued field is a field equipped with a <discrete valuation>. It is complete when every <Cauchy sequence> for the induced metric converges.