The reverse mathematics of theorems of Jordan and Lebesgue

André Nies, Marcus A. Triplett, Keita Yokoyama

The Jordan decomposition theorem states that every function $f:[0,1]\to \mathbb{R}$ of bounded variation can be written as the difference of two non-decreasing functions. C…