Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]

V. Brattka,Andrea Cettolo,G. Gherardi,Alberto Marcone,M. Schröder
DOI: https://doi.org/10.1016/j.apal.2017.04.004
IF: 0.776
2017-08-01
Annals of Pure and Applied Logic
Abstract:
What problem does this paper attempt to address?