“A Spectral Theorem for a Non-Archimedean Valued Field Whose Residue Field Is Formally Real”. Extracta Mathematicae, vol. 39, no. 2, Jan. 2025, p. 235-54, https://doi.org/10.17398/2605-5686.39.2.235.