A spectral theorem for a non-Archimedean valued field whose residue field is formally real. Extr. Math. [Internet]. 2024 May 31 [cited 2024 Nov. 21];. Available from: https://revista-em.unex.es/index.php/EM/article/view/2304