๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An induction theorem and general open mapping theorems

โœ Scribed by Phan Quoc Khanh


Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
763 KB
Volume
118
Category
Article
ISSN
0022-247X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On general open mapping theorems
โœ Phan Quoc Khanh ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 328 KB
A Definitive Constructive Open Mapping T
โœ Douglas Bridges; Hajime Ishihara ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 436 KB

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.