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):
Displayed 5 items.
- 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)
- Transfer and a supremum principle for ERNA (Q3503762) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)