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