Constructive compact operators on a Hilbert space
From MaRDI portal
Publication:1177034
DOI10.1016/0168-0072(91)90037-MzbMath0752.47040MaRDI QIDQ1177034
Publication date: 25 June 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
03F60: Constructive and recursive analysis
47B07: Linear operators defined by compactness properties
47S30: Constructive operator theory
Related Items
Locating the range of an operator with an adjoint, Kernels of seminorms in constructive analysis., Constructive mathematics and unbounded operators -- a reply to Hellman, Spectra of selfadjoint operators in constructive analysis, Adjoints and the image of the ball, Locating subsets of a Hilbert space, Powers of positive elements in C *-algebras
Cites Work