Pages that link to "Item:Q1295420"
From MaRDI portal
The following pages link to On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420):
Displaying 5 items.
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
