Constructive compact operators on a Hilbert space

DOI10.1016/0168-0072(91)90037-MzbMath0752.47040MaRDI QIDQ1177034

Hajime Ishihara

Publication date: 25 June 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Bishop's constructive mathematicscompact operators on a Hilbert space

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Linear operators defined by compactness properties (47B07) Constructive operator theory (47S30)

Related Items

Constructive mathematics and unbounded operators -- a reply to Hellman, Spectra of selfadjoint operators in constructive analysis, Locating the range of an operator with an adjoint, Adjoints and the image of the ball, Locating subsets of a Hilbert space, Powers of positive elements in C *-algebras, Kernels of seminorms in constructive analysis.

Cites Work

• Bounded linear mappings of finite rank
• On the Constructive Hahn-Banach Theorem
• Constructive Compact Linear Mappings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item