A Definitive Constructive Open Mapping Theorem?
Douglas Bridges, Hajime Ishihara · Mathematical logic quarterly · 1998
Abstract It is proved, within Bishop's constructive mathematics (BISH), that, in the context of a Hilbert space, the Open Mapping Theorem is equivalent to a principle that holds in intuitionistic mathematics and recursive constructive mathematics but is unlikely to be provable within BISH.