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