A Constructive Treatment of Open and Unopen Mapping Theorems

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19890350105
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
Foundations of Constructive Analysis.Errett Bishop, A. Kino, J. Myhill & R. E. Vesley - 1972 - Journal of Symbolic Logic 37 (4):744-747.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
A Constructive Version of the Spectral Mapping Theorem.Douglas Bridges & Robin Havea - 2001 - Mathematical Logic Quarterly 47 (3):299-304.
Continuity Properties in Constructive Mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
The Kripke Schema in Metric Topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
A Computable Version of Banach’s Inverse Mapping Theorem.Vasco Brattka - 2009 - Annals of Pure and Applied Logic 157 (2-3):85-96.
Constructive Compact Operators on a Hilbert Space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
Five Papers on Logic and Foundations.G. S. Ceĭtin (ed.) - 1971 - Providence, R.I., American Mathematical Society.
Constructive Truth in Practice.Douglas Bridges - 1998 - In H. G. Dales & Gianluigi Oliveri (eds.), Truth in Mathematics. Oxford University Press, Usa. pp. 53--69.
The Swap of Integral and Limit in Constructive Mathematics.Rudolf Taschner - 2010 - Mathematical Logic Quarterly 56 (5):533-540.
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.


Added to PP index

Total views
28 ( #308,010 of 2,266,270 )

Recent downloads (6 months)
1 ( #850,735 of 2,266,270 )

How can I increase my downloads?


My notes

Sign in to use this feature