A spectral theorem for a non-Archimedean valued field whose residue field is formally real. Extr. Math. [Internet]. 2025 Jan. 3 [cited 2025 Jan. 21];39(2):235-54. Available from: https://revista-em.unex.es/index.php/EM/article/view/2605-5686.39.2.235