On the removal of weak compactness arguments in proof mining

Fernando Ferreira, Laurenţiu Leuştean, Pedro Pinto

Type: Article

Publication Date: 2019-07-26

Citations: 24

DOI: https://doi.org/10.1016/j.aim.2019.106728

View Publication

Locations

Advances in Mathematics - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	On the removal of weak compactness arguments in proof mining	2018	Fernando Ferreira Laurenţiu Leuştean Pedro Pinto
+	On the removal of weak compactness arguments in proof mining	2018	João J. Ferreira Laurenţiu Leuştean Pedro Pinto
+	Proof mining in $L^p$ spaces.	2016	Andrei Sipoş
+ PDF Chat	Proof mining and probability theory	2024	Morenikeji Neri Nicholas Pischke
+	Proof mining in $L^p$ spaces	2016	Andrei Sipos
+	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	2006	Laurenţiu Leuştean
+ PDF Chat	Strongly Uniform Bounds from Semi-Constructive Proofs	2004	Philipp Gerhardy Ulrich Kohlenbach
+	Proof mining in ${\mathbb R}$-trees and hyperbolic spaces	2008	Laurenţiu Leuştean
+ PDF Chat	Proof Theory and Computational Analysis	1997	Ulrich Kohlenbach
+ PDF Chat	On the computational content of convergence proofs via Banach limits	2012	Ulrich Kohlenbach Laurenţiu Leuştean
+	Mathematical Reasoning: Writing and Proof Version 3	2020	Ted Sundstrom
+ PDF Chat	A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces	2024	Morenikeji Neri
+	Logical metatheorems for abstract spaces axiomatized in positive bounded logic	2015	Daniel Günzel Ulrich Kohlenbach
+	Axiomatics as a Functional Strategy for Complex Proofs: The Case of Riemann Hypothesis	2022	Jean Petitot
+	PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES	2019	Andrei Sipoş
+	Formal Versus Rigorous Mathematics: How to Get Your Papers Published	2005	Erik Rosenthal
+	Nonexistence of Short Proofs	2024
+	Constructive aspects of models for non-standard analysis	2009	Fredrik Nordvall Forsberg
+	Rigorous proof and the history of mathematics: Comments on Crowe	1990	Douglas Jesseph
+ PDF Chat	Logical metatheorems for accretive and (generalized) monotone set-valued operators	2023	Nicholas Pischke

Works That Cite This (20)

Action	Title	Year	Authors
+ PDF Chat	Quantitative translations for viscosity approximation methods in hyperbolic spaces	2021	Ulrich Kohlenbach Pedro Pinto
+ PDF Chat	Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness	2021	Ulrich Kohlenbach
+ PDF Chat	On the convergence of algorithms with Tikhonov regularization terms	2020	Bruno Dinis Pedro Pinto
+ PDF Chat	Rates of asymptotic regularity for the alternating Halpern–Mann iteration	2023	Laurenţiu Leuştean Pedro Pinto
+ PDF Chat	Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces	2023	Bruno Dinis Pedro Pinto
+	Nonexpansive maps in nonlinear smooth spaces	2024	Pedro Pinto
+ PDF Chat	A Rate of Metastability for the Halpern Type Proximal Point Algorithm	2021	Pedro Pinto
+ PDF Chat	The finitary content of sunny nonexpansive retractions	2019	Ulrich Kohlenbach Andrei Sipoş
+	Quantitative results on the multi-parameters Proximal Point Algorithm	2019	Bruno Dinis Pedro Pinto
+	The finitary content of sunny nonexpansive retractions	2018	Ulrich Kohlenbach Andrei Sipoş

Works Cited by This (26)

Action	Title	Year	Authors
+ PDF Chat	ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES	1958	Von Kurt Gödel
+	The Hybrid Steepest Descent Method for the Variational Inequality Problem Over the Intersection of Fixed Point Sets of Nonexpansive Mappings	2001	Isao Yamada
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach
+	The Approximation of Fixed Points of Compositions of Nonexpansive Mappings in Hilbert Space	1996	Heinz H. Bauschke
+	On quantitative versions of theorems due to F.E. Browder and R. Wittmann	2010	Ulrich Kohlenbach
+	Approximation of fixed points of nonexpansive mappings	1992	Rainer Wittmann
+	A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces	2006	Ulrich Kohlenbach
+	Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals	1985	Marc Bezem
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach