“A spectral theorem for a non-Archimedean valued field whose residue field is formally real”, Extr. Math., vol. 39, no. 2, p. 235–254, Jan. 2025, doi: 10.17398/2605-5686.39.2.235.