scientific article; zbMATH DE number 3621713
Alpha- RecursionBest ApproximationC*-AlgebraCompactnessConstructive Functional AnalysisConstructive RealsContinuous Computable FunctionDifferential EquationsHilbert SpaceIntegration on Locally Compact SpacesLinear FunctionalsLocated SetsMetric SpacesNormed SpacesRecursive Functions ComputableRecursive MathematicsRegular MeasureStrong Operator TopologySubrecursive Analysis
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Constructive and recursive analysis (03F60) Research exposition (monographs, survey articles) pertaining to measure and integration (28-02) Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures (28C05) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Best approximation, Chebyshev systems (41A50) Research exposition (monographs, survey articles) pertaining to functional analysis (46-02) General theory of (C^*)-algebras (46L05) Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis (46S10)
- 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
- 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
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- A new graph characteristic and its application to numerical computability
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
- Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem
- Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization
- Toward a clarity of the extreme value theorem
- Gleason's theorem is not constructively provable
- ERNA and Friedman's Reverse Mathematics
- Powers of positive elements in C^*-algebras
- The constructive completion of the space ?(?)
- A nonstandard proof of a lemma from constructive measure theory
- A constructive look at the completeness of the space (ℝ)
- scientific article; zbMATH DE number 1383827 (Why is no real title available?)
- Toward a constructive theory of unbounded linear operators
- Formally continuous functions on Baire space
- Does logical pluralism imply, or suggest, truth pluralism, or vice versa?
- Wormholes, superfast computations, and Selivanov's theorem
- Big in reverse mathematics: the uncountability of the reals
- Intensionality in mathematics
- The knowing mathematician
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
- 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
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)
