The Schröder-Bernstein property for operators on Hilbert spaces

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