Leo Harrington
From Infogalactic: the planetary knowledge core
Leo A. Harrington | |
---|---|
File:Leo Harrington.jpg | |
Born | May 17, 1946 (age 78) |
Citizenship | United States |
Fields | Mathematics |
Institutions | University of California, Berkeley |
Alma mater | MIT |
Doctoral advisor | Gerald E. Sacks |
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.
- Harrington and Jeff Paris proved the Paris–Harrington theorem.[1]
- Harrington showed that if the Axiom of Determinacy holds for all analytic sets then x# exists for all reals x.[2]
- Harrington and Saharon Shelah showed that the first order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.[3]
References
External links
<templatestyles src="Asbox/styles.css"></templatestyles>