arXiv1407.3760MaRDI QIDQ6253124
Anna Blaszczok, Franz-Viktor Kuhlmann
Publication date: 14 July 2014
Mathematics Subject Classification ID
Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Ordered fields (12J15) Valued fields (12J10)