×

Constructive functional analysis. (English) Zbl 0401.03027


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