On the Strength of Weak Compactness
From MaRDI portal
Publication:4904465
DOI10.3233/COM-12010zbMath1270.03128arXiv1106.5124MaRDI QIDQ4904465
Publication date: 30 January 2013
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.5124
Turing degree; weak sequential compactness; abstract Hilbert space; Weihrauch lattice; Bolzano-Weierstrass principle
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
03D80: Applications of computability and recursion theory
Related Items
The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma, On the uniform computational content of computability theory