A Constructive Treatment of Open and Unopen Mapping Theorems
作者： Douglas Bridges , William Julian , Ray Mines
关键词: Calculus 、 Mathematics 、 Constructive
摘要:
philpapers.org
sci-hub.se 参考文章(5)
Richard Kadison, John Robert Ringrose, Fundamentals of the Theory of Operator Algebras ,(1983)
Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics ,(1987)
Douglas Bridges, Allan Calder, William Julian, Ray Mines, Fred Richman, Bounded linear mappings of finite rank Journal of Functional Analysis. ,vol. 43, pp. 143- 148 ,(1981) , 10.1016/0022-1236(81)90025-2
Errett Bishop, Foundations of Constructive Analysis ,(2012)
Fred Richman, Douglas Bridges, Allan Calder, William Julian, Ray Mines, Compactly generated Banach spaces Archiv der Mathematik. ,vol. 36, pp. 239- 243 ,(1981) , 10.1007/BF01223698