Total: 1
We establish that the complete theory of a Hilbert space equipped with a normal operator has the Schröder-Berenstein property. This in particular answers a question of Argoty, Berenstein, and the first-named author. We also prove an analogous statement for unbounded self-adjoint operators.