Definable operators on Hilbert spaces (Q435239)

The paper continues the study of definable functions on continuous structures started by the author of the paper using Herbrand's theorem. It is proved that they are approximated piecewise by terms. But this result is too general. So, in the present paper, definable linear operators on infinite-dimensional Hilbert spaces are characterized. It is shown that linear operators of the form \(\lambda I+K\), where \(K\) is compact and \(\lambda\in\mathbb R\), are definable and every definable operator is of this form. The complex version of this result is proved too.