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

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)