A Constructive Treatment of Open and Unopen Mapping Theorems

, &
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):29-43 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350105

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Constructive Treatment of Open and Unopen Mapping Theorems.Douglas Bridges, William Julian & Ray Mines - 1989 - Mathematical Logic Quarterly 35 (1):29-43.
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.
On constructive functions ranging over propositions.H. Luckhardt - 1980 - Studia Logica 39 (4):371 - 374.
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.
Sequences of real functions on [0, 1] in constructive reverse mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
Constructive compact operators on a Hilbert space.Hajime Ishihara - 1991 - Annals of Pure and Applied Logic 52 (1-2):31-37.
A constructive treatment of Urysohn's Lemma in an apartness space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
Five papers on logic and foundations.G. S. Ceitin (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.
Effective choice and boundedness principles in computable analysis.Vasco Brattka & Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (1):73-117.
Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.

Analytics

Added to PP
2015-12-02

Downloads
35 (#446,573)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.

Add more references