weak subsystems of second-order arithmetic
scientific article