1. Extension of functions on fully normal spaces;Arens;Pac. J. Math.,1952
2. Extending a metric;Bing;Duke Math. J.,1947
3. Dimension zero at all scales;Brodskiy;Topol. Appl.,2007
4. Summary on non-Archimedean valued fields;Comicheo,2018
5. Non-Archimedean metrics in topology;de Groot;Proc. Am. Math. Soc.,1956