Pages that link to "Item:Q908073"

The following pages link to Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073):

Displaying 7 items.

• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (Q472316) (← links)
• A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
• A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man'' game (Q2658486) (← links)
• Quantitative results on Fejér monotone sequences (Q4596332) (← links)
• The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
• PROOF MINING IN <i>L</i>^<i>p</i> SPACES (Q5207569) (← links)
• A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)