Combinatorics in subsystems of second order arithmetic (0)

by J Hirst