“A spectral theorem for a non-Archimedean valued field whose residue field is formally real” (2025) Extracta Mathematicae, 39(2), p. 235–254. doi:10.17398/2605-5686.39.2.235.