The following pages link to (Q5384977):
Displaying 6 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)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- 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 (Q4917991) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
