Pages that link to "Item:Q3008059"
From MaRDI portal
The following pages link to The cohesive principle and the Bolzano-Weierstraß principle (Q3008059):
Displaying 11 items.
- The whole and its parts: on the coherence theorem of Balinski and Young (Q325023) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma'' (Q529168) (← links)
- On the uniform computational content of computability theory (Q1694010) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Uniform versions of some axioms of second order arithmetic (Q3159415) (← links)
- Finding paths through narrow and wide trees (Q3616357) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- Comparing DNR and WWKL (Q5311768) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)