# Friedman's distinctions

- Youngest professor, Guinness Book of World Records 1967--
- Senior Distinguished Research Award, Ohio State University, April 1982
- Alan T. Waterman Award, the National Science Foundation of the US, 1984
- Named among "the top 100 scientists in the US under 40'' by Science Digest, December 1984
- Invited by US President Ronald Reagan to a luncheon at the White House, February 12, 1985
- Guggenheim Fellowship, "Studies in the Foundations of Mathematics'' , October 1986 -- August 1987
- Gödel Lecturer 2002
- Rademacher Lecturer 2002
- Tarski Lecturer 2007

# Friedman's research

Friedman continues to make pioneering contributions to many topics in the foundations of mathematics, including- Reverse Mathematics,
- the necessary use of large cardinals in finite mathematics,
- Boolean Relation Theory,
- Concept Calculus,
- Finite Forms, and
- Adjacent Ramsey Theory.

- Kruskal's Tree Theorem is not predicatively provable.
- Borel determinacy requires the replacement axiom.
- Every countable nonstandard model of set theory or arithmetic is isomorphic to a proper initial segment of itself.