Harvey Friedman's Research on the Foundations of Mathematics (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)