Keller and Ochsenius (1995) has a spectral theorem for finite-dimensional symmetric matrices over the field of formal power series with real coefficients $\mathbf{R}((t))$ (they actually have a more general result, but I'm just interested in this one for now), in the sense that every finite symmetric square matrix can be diagonalized by some orthogonal matrix with entries in the field.

Question: Is there a spectral theorem for symmetric infinite-dimensional matrices over this field?

What about the obvious generalization to Hermitian matrices and $\mathbf{C}$? (I believe the approach in the previous paper works for this case as well when the matrices are finite-dimensional, though they don't say it explicitly so I'm not completely confident)