Leo Harrington

Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. Having retired from being a Mathematician, Professor Leo Harrington is now a Philosopher.^{[citation needed]}

Leo A. Harrington
Born	May 17, 1946 (1946-05-17) (age 79)
Citizenship	United States
Alma mater	MIT
Awards	Gödel Lecture (1995)
Scientific career
Fields	Mathematics
Institutions	University of California, Berkeley
Doctoral advisor	Gerald E. Sacks
Doctoral students	María Luisa Bonet Concha Gómez Ehud Hrushovski Jessica Staddon

His notable results include proving the Paris–Harrington theorem along with Jeff Paris,^[1] showing that if the axiom of determinacy holds for all analytic sets then x^# exists for all reals x,^[2] and proving with Saharon Shelah that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.^[3]