A spectral theorem for a non-Archimedean valued field whose residue field is formally real. (2025). Extracta Mathematicae, 39(2), 235-254. https://doi.org/10.17398/2605-5686.39.2.235