“A spectral theorem for a non-Archimedean valued field whose residue field is formally real” (2024) Extracta Mathematicae [Preprint]. doi:10.17398/.