Pages that link to "Item:Q3053232"

The following pages link to On the computational content of the Bolzano-Weierstraß Principle (Q3053232):

Displaying 8 items.

• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
• Gödel functional interpretation and weak compactness (Q450951) (← links)
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
• Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
• The cohesive principle and the Bolzano-Weierstraß principle (Q3008059) (← links)
• A note on the monotone functional interpretation (Q3107344) (← links)
• A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
• A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)