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