A Definitive Constructive Open Mapping Theorem?

DOI10.1002/MALQ.19980440413MaRDI QIDQ4224088zbMATH OpenOpenAlexFDO

Authors Douglas 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

zbMATH Keywords

Banach spaceBishop's constructive mathematicsHilbert spaceintuitionistic mathematicslinear mappinglinear operatorOpen Mapping Theoremrecursive constructive mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Constructive functional analysis (46S30) Constructive operator theory (47S30)

Recommendations

• A Constructive Treatment of Open and Unopen Mapping Theorems
• Constructive closed range and open mapping theorems
• scientific article; zbMATH DE number 770280
• A constructive Banach inverse mapping theorem in F-spaces
• scientific article; zbMATH DE number 1665440

Cites work

• A course in constructive algebra
• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)

Cited in

(8)

• Kernels of seminorms in constructive analysis.
• Locating subsets of a Hilbert space
• scientific article; zbMATH DE number 5529036 (Why is no real title available?)
• A Constructive Treatment of Open and Unopen Mapping Theorems
• scientific article; zbMATH DE number 770280 (Why is no real title available?)
• Bishop-Style Constructive Reverse Mathematics
• Constructive closed range and open mapping theorems
• Constructive aspects of Riemann's permutation theorem for series

This page was built for publication: A Definitive Constructive Open Mapping Theorem?

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