Pages that link to "Item:Q2324564"

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

Displaying 22 items.

• Gödel functional interpretation and weak compactness (Q450951) (← links)
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
• 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)
• New Computational Paradigms (Q5717044) (← 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)
• Effective metastability for a method of alternating resolvents (Q6576132) (← links)
• Nonexpansive maps in nonlinear smooth spaces (Q6597537) (← links)
• On the convergence of broadcast incremental algorithms with applications (Q6612687) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
• Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)