Pages that link to "Item:Q2324564"

The following pages link to On the removal of weak compactness arguments in proof mining (Q2324564):

Displaying 14 items.

• Quantitative results on a Halpern-type proximal point algorithm (Q2028456) (← links)
• Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
• Quantitative translations for viscosity approximation methods in hyperbolic spaces (Q2059976) (← links)
• On false Heine/Borel compactness principles in proof mining (Q2117782) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• A quantitative multiparameter mean ergodic theorem (Q2237255) (← links)
• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
• The abstract type of the real numbers (Q2238151) (← links)
• BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
• A Rate of Metastability for the Halpern Type Proximal Point Algorithm (Q4985187) (← links)
• (Q5026396) (← links)
• The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
• Rates of asymptotic regularity for the alternating Halpern-Mann iteration (Q6151523) (← links)
• Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces (Q6158004) (← links)