“A Spectral Theorem for a Non-Archimedean Valued Field Whose Residue Field Is Formally Real”. 2025. Extracta Mathematicae 39 (2): 235-54. https://doi.org/10.17398/2605-5686.39.2.235.