101 citations · 688 across the 27 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.LO2011★ 55 cited
Randomness and Differentiability
Vasco Brattka, Joseph S. Miller, André Nies
We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) As the main result we show that a real number z in [0,1] is computably r…
math.LO2011★ 100 cited
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
Vasco Brattka, Guido Gherardi, Alberto Marcone
We classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivat…