The algebraic closure of a p -adic number field is a complete topological field José E. Marcos (2006) Mathematica Slovaca
Towards a General Theory of Formally ...-Adic Fields. Serban A. Basarab (1979/1980) Manuscripta mathematica
Traces and differential operators over Beilinson completion algebras Amnon Yekutieli (1995) Compositio Mathematica