Return to Article Details A spectral theorem for a non-Archimedean valued field whose residue field is formally real Download Download PDF