Pages that link to "Item:Q1971796"
From MaRDI portal
The following pages link to Things that can and things that cannot be done in PRA (Q1971796):
Displaying 10 items.
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- The cohesive principle and the Bolzano-Weierstraß principle (Q3008059) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- Transfer and a supremum principle for ERNA (Q3503762) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
