We interpret the algebra of finite rank operators as imaginaries inside a Hilbert space. We prove that the Hilbert space enlarged with these imaginaries has built-in canonical bases.
"Dividing in the algebra of compact operators." J. Symbolic Logic 69 (3) 817 - 829, September 2004. https://doi.org/10.2178/jsl/1096901769