Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions

Set-valued operators (47H04) Duality and reflexivity in normed linear and Banach spaces (46B10) Derivatives of functions in infinite-dimensional spaces (46G05) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Reflexivity and the supremum of linear functionals
Pointwise hereditary majorization and some applications
Logical metatheorems for abstract spaces axiomatized in positive bounded logic
Strong convergence theorems for maximal monotone mappings in Banach spaces
Geometry of Banach spaces. Selected topics
A multiprojection algorithm using Bregman projections in a product space
Weak and strong convergence theorems for maximal monotone operators in a Banach space
Strong convergence of an iterative sequence for maximal monotone operators in a Banach space
Bregman strongly nonexpansive operators in reflexive Banach spaces
Iterative methods for approximating fixed points of Bregman nonexpansive operators
Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
Convergence results of forward-backward algorithms for sum of monotone operators in Banach spaces
On the removal of weak compactness arguments in proof mining
A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
An application of proof mining to nonlinear iterations
Bounded functional interpretation
Bregman distances, totally convex functions, and a method for solving operator equations in Banach spaces
Characterization of the subdifferentials of convex functions
Nonlinear maximal monotone operators in Banach space
Dykstras algorithm with bregman projections: A convergence proof
Nonlinear functional analysis. Fixed point theory and its applications
The impact of Gödel's incompleteness theorems on mathematics
On the computational content of convergence proofs via Banach limits
ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Uniformly convex functions on Banach spaces
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
Variational Analysis
Bregman Monotone Optimization Algorithms
ESSENTIAL SMOOTHNESS, ESSENTIAL STRICT CONVEXITY, AND LEGENDRE FUNCTIONS IN BANACH SPACES
Some logical metatheorems with applications in functional analysis
Metric and Generalized Projection Operators in Banach Spaces: Properties and Applications
Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces
PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
The Generalized Bregman Distance
PROOF MINING IN L^p SPACES
The mathematical significance of proof theory
General logical metatheorems for functional analysis
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Nonlinear monotone operators and convex sets in Banach spaces
On the Subdifferentiability of Convex Functions
Level Sets and Continuity of Conjugate Convex Functions
Convex Analysis
On Conjugate Convex Functions
Intuitionistische Untersuchungen der formalistischen Logik
On the Interpretation of Non-Finitist Proofs--Part I
On the interpretation of non-finitist proofs–Part II
Convex analysis and monotone operator theory in Hilbert spaces
Über das Unendliche.
A proof‐theoretic metatheorem for tracial von Neumann algebras
Logical metatheorems for accretive and (generalized) monotone set-valued operators