Harvey Friedman's Rademacher Lectures "Demonstrably Necessary
Uses of Abstraction", given September 17-20, 2002 at Penn,
are available as a pdf file on the web site
http://www.mathpreprints.com/math/Preprint/show/
Please type Harvey Friedman in the search window there
and click Go.
Andre Scedrov