Bounded variation and the strength of Helly's selection theorem

DOI10.2168/LMCS-10(4:16)2014zbMath1322.03012arXiv1308.3881MaRDI QIDQ2938769

Alexander P. Kreuzer

Publication date: 15 January 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.3881

zbMATH Keywords

compactnessbounded variationreverse mathematicsArzela-Ascoli theoremcomputational analysissequential compactnessBolzano-Weierstrass theoremWeihrauch lattice

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (5)

Stieltjes differential systems with nonmonotonic derivators ⋮ ON THE UNCOUNTABILITY OF ⋮ Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\)

This page was built for publication: Bounded variation and the strength of Helly's selection theorem