3 citations · 3 across the 12 of their papers we have counts for
Showing math.FAShow all
2 papers · 1 filter
math.FA2026
Notes on q-normed Spaces in Constructive Analysis
Douglas S. Bridges
What we call q-normed (linear) spaces were introduced (under the name pseudonormed spaces) into constructive analysis by D.L. Johns as a means of handling spaces, such as L-infinit…
math.FA2026
Constructive Notes on Locally Convex Spaces
Douglas S. Bridges
We give a detailed, corrected presentation of some fundamentals of the constructive theory of locally convex spaces that appear without proofs in <cite>BVtech</cite>. This suffices…