@misc{indiciaed5d463e12eab, title = {A spectral theorem for a non-Archimedean valued field whose residue field is formally real}, author = {Kosuke Ishizuka}, year = {2024}, doi = {10.17398/2605-5686.39.2.235}, url = {https://arxiv.org/abs/2401.10514}, note = {Source identifier: 2401.10514} }