Harvey Friedman's research on the foundations of mathematics - Harrington, L. A.ed (Studies in Logic and the foundations of mathematics ;117, 1985)