Toward a constructive theory of unbounded linear operators

DOI10.2307/2586543MaRDI QIDQ4953226zbMATH OpenOpenAlexFDO

Authors 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 functional analysis (46S30) Constructive operator theory (47S30)

Recommendations

• scientific article; zbMATH DE number 1795213
• Constructive mathematics and unbounded operators -- a reply to Hellman
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Can constructive mathematics be applied in physics?

Cites work

• 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
• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• scientific article; zbMATH DE number 3483022 (Why is no real title available?)
• scientific article; zbMATH DE number 3621713 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Locating the Range of an Operator on a Hilbert Space
• Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges

Cited in

(14)

• Constructive compact operators on a Hilbert space
• Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
• Constructing extensions of ultraweakly continuous linear functionals
• Spectra of selfadjoint operators in constructive analysis
• Unbounded WCT operators and applications to linear equations
• scientific article; zbMATH DE number 3867324 (Why is no real title available?)
• scientific article; zbMATH DE number 5637996 (Why is no real title available?)
• Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
• scientific article; zbMATH DE number 1168313 (Why is no real title available?)
• scientific article; zbMATH DE number 1795213 (Why is no real title available?)
• scientific article; zbMATH DE number 1795215 (Why is no real title available?)
• Located Operators
• Feferman on computability
• Constructive results on operator algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953226)