Leo Harrington
From Wikipedia, the free encyclopedia
Leo Anthony Harrington is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. He proved the Paris–Harrington theorem.