Sequentially Continuous Linear Mappings in Constructive Analysis

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 Cauchynes