| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5778116 | Annals of Pure and Applied Logic | 2017 | 4 Pages |
Abstract
The purpose of this addendum is to close a gap in the proof of [1, Theorem 11.2], which characterizes the computational content of the Bolzano-Weierstraà Theorem for arbitrary computable metric spaces.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
![Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak KÅnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]](/preview/png/5778116.png "First Page Preview: Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak KÅnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]")
Authors
Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder,