“A spectral theorem for a non-Archimedean valued field whose residue field is formally real”, Extr. Math., May 2024, doi: 10.17398/.