1. Second order arithmetic and related topics;Apt;Annals of Math. Logic,1974
2. Axiomatic recursive function theory;Friedman,1971
3. Higher set theory and mathematical practice;Friedman;Annals of Math. Logic,1971
4. On the necessary use of abstract set theory;Friedman;Advances in Math.,1981
5. Friedman, H., Some applications of Borel determinacy to analytic relations, unpublished manuscript.