“A Spectral Theorem for a Non-Archimedean Valued Field Whose Residue Field Is Formally Real”. 2024. Extracta Mathematicae, May. https://doi.org/10.17398/.