scientific article; zbMATH DE number 3621713

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Compactness Differential Equations Metric Spaces Best Approximation C*-Algebra Hilbert Space Normed Spaces Linear Functionals Strong Operator Topology Constructive Reals Regular Measure Alpha- Recursion Constructive Functional Analysis Continuous Computable Function Integration on Locally Compact Spaces Located Sets Recursive Functions Computable Recursive Mathematics Subrecursive Analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Best approximation, Chebyshev systems (41A50) Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis (46S10) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General theory of (C^*)-algebras (46L05) Research exposition (monographs, survey articles) pertaining to functional analysis (46-02) Research exposition (monographs, survey articles) pertaining to measure and integration (28-02) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)

Related Items

Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization ⋮ The constructive completion of the space ?(?) ⋮ Gleason's theorem is not constructively provable ⋮ Generalized functions with pseudobounded support in constructive mathematics ⋮ Towards computability of elliptic boundary value problems in variational formulation ⋮ A constructive and functorial embedding of locally compact metric spaces into locales ⋮ Unnamed Item ⋮ Does logical pluralism imply, or suggest, truth pluralism, or vice versa? ⋮ Compactly generated Banach spaces ⋮ On the foundations of best approximation theory ⋮ Mathematical models and optimization problems for a class of multibodied homokinetic systems rotating about a fixed point ⋮ Formally continuous functions on Baire space ⋮ Molecular gas-flow over convex bodies: a physico-mathematical model for heat transfer calculation ⋮ A constructive development of Chebyshev approximation theory ⋮ Bounded linear mappings of finite rank ⋮ A constructive analysis of the Remes algorithm ⋮ Preference and utility. A constructive development ⋮ Constructive compact operators on a Hilbert space ⋮ A globalization of the Hahn-Banach theorem ⋮ A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem ⋮ ERNA and Friedman's Reverse Mathematics ⋮ Toward a clarity of the extreme value theorem ⋮ Toward a constructive theory of unbounded linear operators ⋮ Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem ⋮ A constructive look at the completeness of the space (ℝ) ⋮ Powers of positive elements in C *-algebras ⋮ Intensionality in mathematics ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ A nonstandard proof of a lemma from constructive measure theory ⋮ Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval ⋮ The knowing mathematician ⋮ A new graph characteristic and its application to numerical computability ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies