The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma

V. BRATTKA

G. GHERARDI

MARCONE, Alberto Giulio