Sequentially continuous linear mappings in constructive analysis
From MaRDI portal
Publication:4212922
DOI10.2307/2586851zbMath0927.03082MaRDI QIDQ4212922
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
Related Items
The weak-operator sequential continuity of left multiplication, Constructive closed range and open mapping theorems, A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity, Locating the range of an operator with an adjoint, Strong continuity implies uniform sequential continuity
Cites Work