Bridges, D. S. Constructive functional analysis. (English) Zbl 0401.03027 Research Notes in Mathematics. 28. London - San Francisco Melbourne: Pitman. 203 p. £7.50 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 33 Documents MSC: 03F60 Constructive and recursive analysis 28C05 Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures 28C15 Set functions and measures on topological spaces (regularity of measures, etc.) 46L05 General theory of \(C^*\)-algebras 41A50 Best approximation, Chebyshev systems 46S10 Functional analysis over fields other than \(\mathbb{R}\) or \(\mathbb{C}\) or the quaternions; non-Archimedean functional analysis 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 46-02 Research exposition (monographs, survey articles) pertaining to functional analysis 28-02 Research exposition (monographs, survey articles) pertaining to measure and integration Keywords:Constructive Functional Analysis; Recursive Mathematics; Recursive Functions Computable; Best Approximation; Regular Measure; Alpha- Recursion; Constructive Reals; Metric Spaces; Located Sets; Compactness; Continuous Computable Function; Normed Spaces; Linear Functionals; Integration on Locally Compact Spaces; Hilbert Space; Strong Operator Topology; C*-Algebra; Differential Equations; Subrecursive Analysis Citations:Zbl 0183.015; Zbl 0285.02029; Zbl 0275.02038; Zbl 0354.02028 PDFBibTeX XML