The Mackey-Arens and Hahn-Banach theorems for spaces over valued fields
spherical completeness of a non- Archimedean complete non-trivially valued field
scientific article; zbMATH DE number 800322
scientific article