@misc{indiciae97fcd88bac8d,
  title = {The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma},
  author = {Vasco Brattka and Guido Gherardi and Alberto Marcone},
  year = {2017},
  doi = {10.1016/j.apal.2011.10.006},
  url = {https://arxiv.org/abs/1101.0792},
  note = {Source identifier: 1101.0792}
}