54

D: ‘Constructive Analysis’, Grundlehren der math
– E Bishop, Bridges
 1985

13

Continuity and nondiscontinuity in constructive mathematics
– H Ishihara
 1991

6

A constructive version of Banach's inverse mapping theorem
– H Ishihara
 1994

5

Sequential continuity of linear mappings in constructive mathematics
– Hajime Ishihara
 1997

2

Sequential, pointwise, and uniform continuity: A constructive note
– Douglas Bridges
 1993

1

On weak operator compactness of the unit ball of L(H)”, Zeit
– Douglas Bridges
 1978

1

and Luminit¸a Dediu, “Weak–operator continuity and the existence of adjoints
– Douglas Bridges
 1999

1

Adjoints and the image of the ball”, preprint
– Fred Richman

91

Fundamentals of the theory of operator algebras. Vol
– Richard V Kadison, John R Ringrose
 1997

232

An Introduction to Computable Analysis
– K Weihrauch
 2000

5

A constructive treatment of open and unopen mapping theorems
– D Bridges, W Julian, R Mines
 1989

2

Absolute continuity and the uniqueness of the constructive functional calculus
– Douglas Bridges, Hajime Ishihara
 1995

2

Locating the range of an operator on a Hilbert space
– Douglas Bridges, Hajime Ishihara
 1992

3

A de constructive open mapping theorem
– D Bridges, H Ishihara
 1998

1

A critical analysis of Banach's Open Mapping Theorem ", Northeastern University
– Gabriel Stolzenberg
 1971

2

Aspects of constructive analysis
– H L Royden
 1985

3

Locating Subsets Of A Hilbert Space
– Hajime Ishihara
 1998

8

A constructive look at positive linear functionals on L(H
– D Bridges
 1981

22

Constructive mathematics: A foundation for computable analysis
– D S Bridges
 1999
