Toward a constructive theory of unbounded linear operators
From MaRDI portal
Publication:4953226
DOI10.2307/2586543zbMath0949.03061MaRDI QIDQ4953226
Publication date: 6 December 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586543
03F60: Constructive and recursive analysis
47S30: Constructive operator theory
46S30: Constructive functional analysis
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- Constructive mathematics and unbounded operators -- a reply to Hellman
- Gleason's theorem is not constructively provable
- Locating the Range of an Operator on a Hilbert Space