A Spectral Theorem for a Non-Archimedean Valued Field Whose Residue Field Is Formally Real. Extr. Math. 2025, 39 (2), 235-254. https://doi.org/10.17398/2605-5686.39.2.235.