Toward a constructive theory of unbounded linear operators

DOI10.2307/2586543zbMath0949.03061OpenAlexW2026441147MaRDI QIDQ4953226

Feng Ye

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

zbMATH Keywords

constructive mathematicsunbounded linear operators on Hilbert spaces

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive operator theory (47S30) Constructive functional analysis (46S30)

Related Items (1)

Feferman on Computability

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

This page was built for publication: Toward a constructive theory of unbounded linear operators