Characterising dominated weak-operator continuous functionals on subspaces of \(\mathcal B(H)\) (Q1942038)

The major result of this note -- from which the paper obtains its title -- is significant. It is a major improvement of a result in constructive functional analysis which gives a characterisation of certain linear functionals on subspaces of bounded linear operators on a Hilbert space, and shows that the (classically trivial) hypothesis added to obtain the result is constructively necessary. Further, the proof is as elegant as could be expected of the similar classical proof, and therefore accessible by anyone working in functional analysis.