scientific article; zbMATH DE number 5269063
From MaRDI portal
Publication:5384977
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Applications of computability and recursion theory (03D80) Research exposition (monographs, survey articles) pertaining to functional analysis (46-02) Constructive functional analysis (46S30) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Fixed-point theorems (47H10)
Recommendations
- Publication:4490308
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- Effective uniform bounding in partial differential fields
- Uniformly effective boundedness of Shafarevich conjecture-type
- Uniform boundedness in function spaces
- The abstract uniform boundedness principle
- Quantitative extensions of the uniform boundedness principle
- scientific article; zbMATH DE number 90011
- scientific article; zbMATH DE number 5058900
- scientific article; zbMATH DE number 4055961
Cited in
(11)- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
- Local stability of ergodic averages
- Gödel functional interpretation and weak compactness
- scientific article; zbMATH DE number 1746038 (Why is no real title available?)
- Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
- Uniform bound for the effective Bogomolov conjecture
- General logical metatheorems for functional analysis
- Resolution of the uniform lower bound problem in constructive analysis
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
- Effective uniform bounding in partial differential fields
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 Q5384977)
