Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma

DOI10.1016/J.APAL.2017.04.004zbMath1403.03127OpenAlexW2609923778WikidataQ124829610 ScholiaQ124829610MaRDI QIDQ529168

Guido Gherardi, Alberto Marcone, Vasco Brattka, Andrea Cettolo, Matthias Schröder

Publication date: 18 May 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2017.04.004

Mathematics Subject Classification ID

Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (1)

Weihrauch Complexity in Computable Analysis

Cites Work

• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
• Unnamed Item
• Unnamed Item

This page was built for publication: Addendum to: ``The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma