A Definitive Constructive Open Mapping Theorem?
From MaRDI portal
Publication:4224088
DOI10.1002/malq.19980440413zbMath0917.46072MaRDI QIDQ4224088
Douglas S. Bridges, Hajime Ishihara
Publication date: 2 August 1999
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19980440413
Hilbert space; Banach space; linear operator; Bishop's constructive mathematics; linear mapping; intuitionistic mathematics; Open Mapping Theorem; recursive constructive mathematics
03F60: Constructive and recursive analysis
46A30: Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness)
47S30: Constructive operator theory
26E40: Constructive real analysis
46S30: Constructive functional analysis
Related Items
Bishop-Style Constructive Reverse Mathematics, Constructive closed range and open mapping theorems, Kernels of seminorms in constructive analysis., Locating subsets of a Hilbert space
Cites Work