no code implementations • 4 Apr 2017 • André Nies, Marcus A. Triplett, Keita Yokoyama
The result that every function on $[0, 1]$ of bounded variation is almost everywhere differentiable is equivalent to $\mathsf{WWKL}_0$.
Logic
