A spectral theorem for a non-Archimedean valued field whose residue field is formally real. (2024). Extracta Mathematicae. https://doi.org/10.17398/