Sequentially Continuous Linear Mappings in Constructive Analysis (1996)

View PDF

Download Links

by Douglas Bridges , Ray Mines
Citations:4 - 4 self

Active Bibliography

Various Continuity Properties in Constructive Analysis – Hajime Ishihara, Ray Mines
6 Sequential continuity of linear mappings in constructive mathematics – Hajime Ishihara - 1997
The – Douglas Bridges
F-spaces – H. Ishihara
Constructive aspects of Riemanns permutation theorem for series – J. Berger, D. Bridges, H. Diener, H. Schwichtenberg - 2012
4 On weak Markov's principle – Ulrich Kohlenbach - 2002
4 Constructive Closed Range and Open Mapping Theorems – Douglas Bridges, Hajime Ishihara - 1998
Theoretical Computer Science Informal Constructive Reverse Mathematics – H. Ishihara, Hajime Ishihara
This document in subdirectoryRS/01/51/ On weak Markov’s principle – Ulrich Kohlenbach, Copyright C, Ulrich Kohlenbach, Ulrich Kohlenbach - 909