TY  - RPRT
TI  - The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
AU  - Vasco Brattka
AU  - Guido Gherardi
AU  - Alberto Marcone
PY  - 2017
DO  - 10.1016/j.apal.2011.10.006
UR  - https://arxiv.org/abs/1101.0792
ID  - 1101.0792
ER  -