47S10 Operator theory over fields other than \(\mathbb{R}\), \(\mathbb{C}\) or the quaternions; non-Archimedean operator theory 415