scientific article; zbMATH DE number 3621713
zbMATH Open0401.03027MaRDI QIDQ4184832FDOQ4184832
Authors: Douglas Bridges 
Publication date: 1979
Title of this publication is not available (Why is that?)
CompactnessDifferential EquationsMetric SpacesBest ApproximationC*-AlgebraHilbert SpaceNormed SpacesLinear FunctionalsAlpha- RecursionConstructive Functional AnalysisConstructive RealsContinuous Computable FunctionIntegration on Locally Compact SpacesLocated SetsRecursive Functions ComputableRecursive MathematicsRegular MeasureStrong Operator TopologySubrecursive Analysis
General theory of (C^*)-algebras (46L05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Best approximation, Chebyshev systems (41A50) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Research exposition (monographs, survey articles) pertaining to functional analysis (46-02) 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 measure and integration (28-02) Constructive and recursive analysis (03F60) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05)
Cited In (34)
- Formally continuous functions on Baire space
- A constructive look at the completeness of the space (ℝ)
- Wormholes, superfast computations, and Selivanov's theorem
- A new graph characteristic and its application to numerical computability
- Toward a constructive theory of unbounded linear operators
- Preference and utility. A constructive development
- Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization
- A constructive development of Chebyshev approximation theory
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- A globalization of the Hahn-Banach theorem
- Constructive compact operators on a Hilbert space
- The constructive completion of the space ?(?)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
- Towards computability of elliptic boundary value problems in variational formulation
- Compactly generated Banach spaces
- A constructive and functorial embedding of locally compact metric spaces into locales
- Molecular gas-flow over convex bodies: a physico-mathematical model for heat transfer calculation
- Toward a clarity of the extreme value theorem
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
- Bounded linear mappings of finite rank
- ERNA and Friedman's Reverse Mathematics
- Intensionality in mathematics
- Does logical pluralism imply, or suggest, truth pluralism, or vice versa?
- A nonstandard proof of a lemma from constructive measure theory
- Mathematical models and optimization problems for a class of multibodied homokinetic systems rotating about a fixed point
- Gleason's theorem is not constructively provable
- A constructive analysis of the Remes algorithm
- On the foundations of best approximation theory
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
- The knowing mathematician
- Generalized functions with pseudobounded support in constructive mathematics
- Title not available (Why is that?)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- Powers of positive elements in \(C^*\)-algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4184832)
