Friedman's research on subsystems of second order arithmetic, in: Harvey Friedman's Research in the Foundations of Mathematics, edited by (1985)

by S G Simpson