Publication:4520530
From MaRDI portal
zbMath0970.46050MaRDI QIDQ4520530
Publication date: 26 February 2001
Full work available at URL: http://www.jucs.org/jucs_3_11/sequential_continuity_of_linear
boundedness; sequential continuity; Banach-Steinhaus theorem; constructive functional analysis; sequential continuity of linear mappings
03F60: Constructive and recursive analysis
46A08: Barrelled spaces, bornological spaces
46A30: Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness)
46S30: Constructive functional analysis
Related Items
Bishop-Style Constructive Reverse Mathematics, Constructive closed range and open mapping theorems, The uniform boundedness theorem and a boundedness principle, A computable version of Banach's inverse mapping theorem, Locating the range of an operator with an adjoint, Completeness: when enough is enough