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

researchr

You are not signed in
Sign in
Sign up

Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder. Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. Annals of Pure and Applied Logic, 168(8):1605-1608, 2017. [doi]

Abstract is missing.

runs on WebDSL