A Definitive Constructive Open Mapping Theorem?
Publication:4224088
DOI10.1002/malq.19980440413zbMath0917.46072OpenAlexW2028676759MaRDI 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 spaceBanach spacelinear operatorBishop's constructive mathematicslinear mappingintuitionistic mathematicsOpen Mapping Theoremrecursive constructive mathematics
Constructive and recursive analysis (03F60) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Constructive operator theory (47S30) Constructive real analysis (26E40) Constructive functional analysis (46S30)
Related Items (4)
Cites Work
This page was built for publication: A Definitive Constructive Open Mapping Theorem?