TY - RPRT TI - A spectral theorem for a non-Archimedean valued field whose residue field is formally real AU - Kosuke Ishizuka PY - 2024 DO - 10.17398/2605-5686.39.2.235 UR - https://arxiv.org/abs/2401.10514 ID - 2401.10514 ER -