The following pages link to (Q4218526):
Displaying 20 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)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR (Q2769522) (← links)
- Writing Proofs in Analysis (Q2799541) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- (Q3081652) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- (Q3338233) (← links)
- (Q3734383) (← links)
- (Q3837732) (← links)
- (Q4795603) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)
