Sequentially continuous linear mappings in constructive analysis

DOI10.2307/2586851zbMath0927.03082OpenAlexW2166841562MaRDI QIDQ4212922

Ray Mines, Douglas S. Bridges

Publication date: 7 October 1998

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586851

zbMATH Keywords

Cauchy sequencesconstructive mathematicsnormed spacessequentially continuous linear mappings

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items (5)

Locating the range of an operator with an adjoint ⋮ A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity ⋮ The weak-operator sequential continuity of left multiplication ⋮ Constructive closed range and open mapping theorems ⋮ Strong continuity implies uniform sequential continuity

Cites Work

• Bounded linear mappings of finite rank
• Sequential, pointwise, and uniform continuity: A constructive note

This page was built for publication: Sequentially continuous linear mappings in constructive analysis