Bounded variation and the strength of Helly's selection theorem

Alexander P. Kreuzer. Bounded variation and the strength of Helly's selection theorem. Logical Methods in Computer Science, 10(4), 2014. [doi]

Abstract

Abstract is missing.