Sequentially Continuous Linear Mappings in Constructive Analysis (1996)
Cached
Download Links
- [www.cs.auckland.ac.nz]
- [mathwww.nmsu.edu]
- DBLP
Other Repositories/Bibliography
by
Douglas Bridges
,
Ray Mines
| Citations: | 3 - 3 self |
BibTeX
@MISC{Bridges96sequentiallycontinuous,
author = {Douglas Bridges and Ray Mines},
title = {Sequentially Continuous Linear Mappings in Constructive Analysis},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we derive some results about sequentially continuous linear mappings within BISH. These results tend to reinforce our hope that such mappings may turn out to be bounded (continuous) after all. For background material on BISH, see [1], and for information about the relation between BISH, INT, and RUSS, see [2]. 2 Sequential continuity preserves Cauchyness
Citations
| 46 | Constructive analysis, Grundlehren der - Bishop, Bridges - 1985 |
| 13 | Continuity and nondiscontinuity in constructive mathematics - Ishihara - 1991 |
| 10 | Continuity properties in constructive mathematics. Journal of Symbolic Logic - Ishihara - 1992 |
| 9 | Sheaf models for analysis - Fourman, Hyland - 1979 |
| 6 | A constructive version of Banach's inverse mapping theorem - Ishihara - 1994 |
| 2 | Bounded linear mappings of finite rank - Bridges, Calder, et al. - 1981 |
| 2 | Sequential, pointwise, and uniform continuity: A constructive note - Bridges - 1993 |
| 1 | Intuitionistic continuity", Nieuw Archief voor Wiskunde (3 - Troelstra - 1967 |
