Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]
Brattka, Vasco
•
Cettolo, Andrea
•
Gherardi, Guido
altro
MARCONE, Alberto Giulio
2017
Periodico
ANNALS OF PURE AND APPLIED LOGIC
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.
DOI
WOS
Archivio
Diritti
closed access
Soggetti