The following pages link to (Q4218526):
Displayed 11 items.
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Some computational aspects of metric fixed-point theory (Q1775881) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR (Q2769522) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)