𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Constructive Treatment of Open and Unopen Mapping Theorems

✍ Scribed by Douglas Bridges; William Julian; Ray Mines

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
904 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Definitive Constructive Open Mapping T
A Definitive Constructive Open Mapping Theorem?
✍ 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.

A constructive treatment of Urysohn's Le
A constructive treatment of Urysohn's Lemma in an apartness space
✍ Douglas Bridges; Hannes Diener πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 106 KB

## Abstract __This paper is dedicated to Prof. Dr. GΓΌnter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.__ At first (maybe even at second) sight it appears highly unlikely