Borel’s theorem for C ∞ -functions on a non-archimedean valued field W. H. Schikhof (1985) Compositio Mathematica
Bounded operators on non-Archimedian orthomodular spaces Hans A. Keller, Hermina Ochsenius A. (1995) Mathematica Slovaca