The Axiom of Choice in p-Adic Functional Analysis

Functional analysts generally are little concerned with the set-theoretic background of their theories. This lecture _∗ is an attempt to evoke interest in the role of the Axiom of Choice (AC) in p-adic Functional Analysis.