A Constructive Treatment of Open and Unopen Mapping Theorems
From MaRDI portal
Publication:3788500
DOI10.1002/malq.19890350105zbMath0645.46006MaRDI QIDQ3788500
Douglas S. Bridges, Ray Mines, William H. Julian
Publication date: 1989
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19890350105
46A30: Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness)
03F65: Other constructive mathematics
46S30: Constructive functional analysis
Related Items
Constructive closed range and open mapping theorems, Locating subsets of a Hilbert space, Constructing the Infimum of Two Projections